scientific article; zbMATH DE number 834566

MaRDI QIDQ4860653zbMATH OpenFDO

Authors Viktor Gyuris

Publication date 16 January 1996

zbMATH Keywords

fork algebrasprogram specificationquasi-projective relation algebrasrepresentation theorem

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A short proof of representability of fork algebras
• scientific article; zbMATH DE number 804142
• scientific article; zbMATH DE number 1801371
• Strong representability of fork algebras, a set theoretic foundation
• scientific article; zbMATH DE number 1086629

Cited in

(5)

• A short proof of representability of fork algebras
• Equational Reasoning in Non-Classical Logics
• Strong representability of fork algebras, a set theoretic foundation
• Representability and program construction within fork algebras
• scientific article; zbMATH DE number 804142 (Why is no real title available?)

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