Quati

MaRDI QIDQ22013swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_18

Cited in

(6)

• A linear logic framework for multimodal logics
• HYBRID
• Sequoia: A Playground for Logicians
• Sequoia
• Quati: an automated tool for proving permutation lemmas
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

This page was built for software: Quati