The following pages link to RALL (Q20514):
Displaying 9 items.
- Typing theorems of omega algebra (Q1931900) (← links)
- (Q2723418) (← links)
- Deciding Kleene Algebras in Coq (Q2881083) (← links)
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Q3007567) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- (Q4246973) (← links)
- RALL: Machine-supported proofs for relation algebra (Q5234720) (← links)
- Automated Verification of Relational While-Programs (Q5410484) (← links)
- An Efficient Coq Tactic for Deciding Kleene Algebras (Q5747648) (← links)
