On Automating the Calculus of Relations
From MaRDI portal
Recommendations
Cites work
- A sequent calculus for relation algebras
- Boolean Algebra. A Correction
- Boolean Algebras with Operators. Part I
- Computer Algebra in Scientific Computing
- Correspondence results for relational proof systems with application to the Lambek calculus
- Evaluating general purpose automated theorem proving systems
- scientific article; zbMATH DE number 1614695 (Why is no real title available?)
- scientific article; zbMATH DE number 192880 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 910715 (Why is no real title available?)
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- Modal logic
- New Sets of Independent Postulates for the Algebra of Logic, With Special Reference to Whitehead and Russell's Principia Mathematica
- On the calculus of relations
- Ordered chaining calculi for first-order theories of transitive relations
- RALL: machine-supported proofs for relation algebra
- Relation algebras
- Relation-algebraic semantics
- Relational algebraic semantics of deterministic and nondeterministic programs
- Relational and Kleene-Algebraic Methods in Computer Science
- Solution of the Robbins problem
- System Description: Spass Version 3.0
- The B-Book
- The TPTP problem library. CNF release v1. 2. 1
Cited in
(21)- Automated verification of refinement laws
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Relational characterisations of paths
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Modal algebra and Petri nets
- An algebra of database preferences
- Using relation-algebraic means and tool support for investigating and computing bipartitions
- scientific article; zbMATH DE number 1614695 (Why is no real title available?)
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Implementing a relational theorem prover for modal logic K
- scientific article; zbMATH DE number 4053051 (Why is no real title available?)
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Hopscotch -- reaching the target hop by hop
- scientific article; zbMATH DE number 762061 (Why is no real title available?)
- Completeness for identity-free Kleene lattices
- RALL: machine-supported proofs for relation algebra
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- Cardinality of relations and relational approximation algorithms
- Cardinality of relations with applications
- The calculus of context relations
This page was built for publication: On Automating the Calculus of Relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541686)
