scientific article; zbMATH DE number 804142

MaRDI QIDQ4851408zbMATH OpenFDO

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

Publication date 7 February 1996

zbMATH Keywords

fork algebrasrelation algebrarepresentation

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• A short proof of representability of fork algebras
• Publication:4860653
• scientific article; zbMATH DE number 1036759
• Publication:4489060

Cited in

(6)

• A short proof of representability of fork algebras
• Squares in fork arrow logic
• Bifunctional-elementary relation algebras
• Representability and program construction within fork algebras
• scientific article; zbMATH DE number 834566 (Why is no real title available?)
• Adding design strategies to fork algebras

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 Q4851408)