Fork Algebras in Algebra, Logic and Computer Science

Authors:
Marcelo F. Frias;Gabriel A. Baum;Armando M. Haeberer
Affiliations:
Laboratório de Métodos Formais, Departamento de Informática, Pontif'icia Universidade Católica do Rio de Janeiro, Rua Marquês de São Vicente 225, 22453-900, Rio de Ja ...;Universidad Nacional de La Plata, LIFIA, Departamento de Informática, C.C.ll, Correo Central, 1900, La Plata, Provincia de Buenos Aires, República Argentina. e-mail:gbaum@info.unlp.edu.a ...;Laboratório de Métodos Formais, Departamento de Informática, Pontif'icia Universidade Católica do Rio de Janeiro, Rua Marquês de São Vicente 225, 22453-900, Rio de Ja ...
Venue:
Fundamenta Informaticae
Year:
1997

Citing 9
Cited 0

Relations and graphs: discrete mathematics for computer scientists

Relations and graphs: discrete mathematics for computer scientists
A logical approach to discrete math

A logical approach to discrete math
General algebraic logic: a perspective on “what is logic”

What is a logical system?
Logical analysis of demonic nondeterministic programs

Theoretical Computer Science
Relational methods in computer science

Relational methods in computer science
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap

MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Applying Algebraic Logic to Logic

AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Equational Logic as a Tool

AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers

Proceedings of the International Conference on Formal Methods in Programming and Their Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.