Mostrar el registro sencillo del ítem
dc.contributor.author
Lopez Pombo, Carlos Gustavo
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Frias, Marcelo Fabian
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Maibaum, Thomas S. E.
dc.contributor.other
Haeusler, Edward Hermann
dc.contributor.other
Pinheiro Dias Pereira, Luis Carlos
dc.contributor.other
Viana, Jorge Petrucio
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.date.available
2022-07-19T19:47:57Z
dc.date.issued
2021
dc.identifier.citation
Lopez Pombo, Carlos Gustavo; Frias, Marcelo Fabian; Maibaum, Thomas S. E.; On the construction of explosive relation algebras; College Publications; 44; 2021; 202-236
dc.identifier.isbn
978-1-84890-353-1
dc.identifier.uri
http://hdl.handle.net/11336/162594
dc.description.abstract
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90’s aiming at enriching relation algebra, an already successful language for program specification, with the capability of expressing some form of parallel computation.The further study of this class of algebras led to many meaning- ful results linked to interesting properties of relation algebras such as representability and finite axiomatizability, among others. Also in the 90’s, Veloso introduced a subclass of relation algebras that are expansible to fork algebras, admitting a large number of non-isomorphic expansions, referred to as explosive relation algebras.In this work we discuss some general techniques for constructing algebras of this type.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
College Publications
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
ALGEBRA
dc.subject
FORK ALGEBRA
dc.subject
HAEBERER
dc.subject
VELOSO
dc.subject.classification
Matemática Pura
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Matemáticas
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
On the construction of explosive relation algebras
dc.type
info:eu-repo/semantics/publishedVersion
dc.type
info:eu-repo/semantics/bookPart
dc.type
info:ar-repo/semantics/parte de libro
dc.date.updated
2022-07-15T14:47:06Z
dc.journal.volume
44
dc.journal.pagination
202-236
dc.journal.pais
Reino Unido
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Londres
dc.description.fil
Fil: Lopez Pombo, Carlos Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
dc.description.fil
Fil: Frias, Marcelo Fabian. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto Tecnológico de Buenos Aires; Argentina
dc.description.fil
Fil: Maibaum, Thomas S. E.. Mc Master University; Canadá
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://collegepublications.co.uk/tributes/?00044
dc.conicet.paginas
294
dc.source.titulo
A question is more illuminating than an answer: a festschrift for Paolo A. S. Veloso
Archivos asociados