Quati: An Automated Tool for Proving Permutation Lemmas
From MaRDI portal
Publication:3192195
DOI10.1007/978-3-319-08587-6_18zbMath1423.68422OpenAlexW77879984MaRDI QIDQ3192195
No author found.
Publication date: 26 September 2014
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_18
Related Items (3)
A linear logic framework for multimodal logics ⋮ Sequoia: A Playground for Logicians ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Uses Software
This page was built for publication: Quati: An Automated Tool for Proving Permutation Lemmas
