scientific article; zbMATH DE number 762061

MaRDI QIDQ4835905zbMATH OpenFDO

Authors Eric de Kogel

Publication date 5 July 1995

zbMATH Keywords

equational provabilityReeves' rules

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• scientific article; zbMATH DE number 1735911
• scientific article; zbMATH DE number 54353
• Relation algebras of every dimension
• RALL: machine-supported proofs for relation algebra
• On Automating the Calculus of Relations

Cited in

(9)

• A new formalism for relational algebra
• Parameterized provability in equational logic
• Calculational proofs in relational graphical linear algebra
• Proof Pearl: regular expression equivalence and relation algebra
• scientific article; zbMATH DE number 4203707 (Why is no real title available?)
• scientific article; zbMATH DE number 1735911 (Why is no real title available?)
• Complexity of equational theory of relational algebras with standard projection elements
• RALL: machine-supported proofs for relation algebra
• Term Rewriting and 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 Q4835905)