scientific article; zbMATH DE number 1086629

MaRDI QIDQ4362877zbMATH OpenFDO

Authors Armando Martín Haeberer, Marcelo Fabián Frias, Gabriel Baum, Paulo A. S. Veloso

Publication date 13 November 1997

zbMATH Keywords

equational theoriesfinite axiomatizabilityfirst-order theoriesfork algebrasprogram developmentprogram specificationsrelation algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1801371
• scientific article; zbMATH DE number 1136646
• On finite and infinite fork algebras and their relational reducts
• Publication:4489060

Cited in

(28)

• A short proof of representability of fork algebras
• Squares in fork arrow logic
• Monomorphic characterization of n-ary direct products
• On fork arrow logic and its expressive power
• On finite and infinite fork algebras and their relational reducts
• scientific article; zbMATH DE number 1801371 (Why is no real title available?)
• Complete calculi for structured specifications in fork algebra
• Fork Algebras as a Sufficiently Rich Universal Institution
• scientific article; zbMATH DE number 4123707 (Why is no real title available?)
• Fork algebraic datatypes
• Equational Reasoning in Non-Classical Logics
• scientific article; zbMATH DE number 1735901 (Why is no real title available?)
• A Finite Axiomatization for Fork Algebras
• scientific article; zbMATH DE number 1136646 (Why is no real title available?)
• Some classes containing a fork algebra equivalent variety involving projections
• scientific article; zbMATH DE number 1156791 (Why is no real title available?)
• scientific article; zbMATH DE number 1157017 (Why is no real title available?)
• scientific article; zbMATH DE number 2064300 (Why is no real title available?)
• scientific article; zbMATH DE number 1471976 (Why is no real title available?)
• scientific article; zbMATH DE number 834566 (Why is no real title available?)
• On the construction of explosive relation algebras
• The \theta -Join as a Join with \theta
• Propositional dynamic logic with storing, recovering and parallel composition
• Formal Concept Analysis
• Adding design strategies to fork algebras
• Interpretability of first-order linear temporal logics in fork algebras
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• Embedding mappings and splittings with applications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362877)