swMATH8505MaRDI QIDQ20514FDOQ20514
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-63104-6_36
Cited In (13)
- Typing theorems of omega algebra
- An efficient Coq tactic for deciding Kleene algebras
- Title not available (Why is that?)
- ARA
- KAT-ML
- Ralf
- ATBR
- RALL: machine-supported proofs for relation algebra
- Title not available (Why is that?)
- An efficient relational deductive system for propositional non-classical logics
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Automated verification of relational while-programs
- Deciding Kleene algebras in \texttt{Coq}
This page was built for software: RALL
