Relif: a relation algebra specification tool

"Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem in relation algebras is the representation problem, which is to give a can...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Lynch, Marcelo María
Otros Autores: Frías, Marcelo
Formato: Proyecto final de Grado
Lenguaje:Inglés
Publicado: 2020
Materias:
LOGICA ALGEBRAICA
VERIFICACION DE SOFTWARE
Acceso en línea:http://ri.itba.edu.ar/handle/123456789/1878
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)
id I32-R138-123456789-1878
record_format dspace
spelling I32-R138-123456789-18782022-12-07T14:32:16Z Relif: a relation algebra specification tool Lynch, Marcelo María Frías, Marcelo LOGICA ALGEBRAICA VERIFICACION DE SOFTWARE "Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem in relation algebras is the representation problem, which is to give a canonical representation of a given relation algebra, in the form of binary relations. This problem doesn't have a solution for all algebras. This paper presents Relif, a specication tool that allows the user to explore relation algebras satisfying a set of constraints dened by the user, and provides a way of looking for representations." "Las álgebras de relaciones son álgebras surgidas a partir del estudio de las relaciones binarias. Forman parte del campo de la lógica algebraica y tienen aplicaciones en la teoría de demostraciones, lógicas modales y ciencias de la computación. Un problema interesante en el marco de las álgebras de relaciones es el problema de la representación, que consiste, dada un álgebra de relaciones, en proveer una representación canónica de la misma en forma de relaciones binarias. Este problema no siempre tiene solución. Este trabajo presenta Relif, una herramienta de especicación que permite al usuario explorar álgebras de relaciones que satisfagan un conjunto de restricciones denidas por el usuario, y provee una forma de buscar representaciones de esas álgebras." Proyecto final Ingeniería Informática (grado) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 2019 2020-02-18T13:46:14Z 2020-02-18T13:46:14Z 2019-12-19 Proyecto final de Grado http://ri.itba.edu.ar/handle/123456789/1878 en application/pdf
institution Instituto Tecnológico de Buenos Aires (ITBA)
institution_str I-32
repository_str R-138
collection Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)
language Inglés
topic LOGICA ALGEBRAICA
VERIFICACION DE SOFTWARE
spellingShingle LOGICA ALGEBRAICA
VERIFICACION DE SOFTWARE
Lynch, Marcelo María
Relif: a relation algebra specification tool
topic_facet LOGICA ALGEBRAICA
VERIFICACION DE SOFTWARE
description "Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem in relation algebras is the representation problem, which is to give a canonical representation of a given relation algebra, in the form of binary relations. This problem doesn't have a solution for all algebras. This paper presents Relif, a specication tool that allows the user to explore relation algebras satisfying a set of constraints dened by the user, and provides a way of looking for representations."
author2 Frías, Marcelo
author_facet Frías, Marcelo
Lynch, Marcelo María
format Proyecto final de Grado
author Lynch, Marcelo María
author_sort Lynch, Marcelo María
title Relif: a relation algebra specification tool
title_short Relif: a relation algebra specification tool
title_full Relif: a relation algebra specification tool
title_fullStr Relif: a relation algebra specification tool
title_full_unstemmed Relif: a relation algebra specification tool
title_sort relif: a relation algebra specification tool
publishDate 2020
url http://ri.itba.edu.ar/handle/123456789/1878
work_keys_str_mv AT lynchmarcelomaria relifarelationalgebraspecificationtool
_version_ 1765660869551718400

Ejemplares similares