Fork algebras in algebra, logic and computer science

Título:

Fork algebras in algebra, logic and computer science

Autor:

Frias, Marcelo F.

Colaboradores:

; Baum, Gabriel Alfredo; Haeberer, Armando M.

Temas:

ESTRUCTURAS ALGEBRAICASCÁLCULO

En:

Fundamenta Informaticae, 32(1), pp. 1-25

Resumen:

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.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (1,2 MB)

Idioma:

Inglés

Publicación:

IOS, 1997

Puede solicitar más fácilmente el ejemplar con: A0322

Ver estantes