Quati

swMATH10044MaRDI QIDQ22013FDOQ22013

Author name not available (Why is that?)

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
• Sequoia: A Playground for Logicians
• 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