Fork algebras in algebra, logic and computer science
Frias, Marcelo F.
Fork algebras in algebra, logic and computer science - ref_localidad@33842 : IOS, 1997 - 1 archivo (1,2 MB)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
Since the main themes at the Helena Rasiowa memorial were algebra, logic and computer science, we will present a survey of results on fork algebras from these points of view. In this paper we study fork algebras from the points of view of their algebraic and logical properties and applications. These results will prove to be essential, in a future work, for the definition of a wide-spectrum calculus for program construction.
DIF005980
ESTRUCTURAS ALGEBRAICAS
CÁLCULO
Fork algebras in algebra, logic and computer science - ref_localidad@33842 : IOS, 1997 - 1 archivo (1,2 MB)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
Since the main themes at the Helena Rasiowa memorial were algebra, logic and computer science, we will present a survey of results on fork algebras from these points of view. In this paper we study fork algebras from the points of view of their algebraic and logical properties and applications. These results will prove to be essential, in a future work, for the definition of a wide-spectrum calculus for program construction.
DIF005980
ESTRUCTURAS ALGEBRAICAS
CÁLCULO