RALL
From MaRDI portal
Cited in
(13)- Typing theorems of omega algebra
- Ralf
- ARA
- KAT-ML
- scientific article; zbMATH DE number 1614695 (Why is no real title available?)
- Deciding Kleene algebras in \texttt{Coq}
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- An efficient relational deductive system for propositional non-classical logics
- ATBR
- scientific article; zbMATH DE number 1301758 (Why is no real title available?)
- RALL: machine-supported proofs for relation algebra
- Automated verification of relational while-programs
- An efficient Coq tactic for deciding Kleene algebras
This page was built for software: RALL
