Quati

swMATH10044MaRDI QIDQ22013FDOQ22013

Author name not available (Why is that?)

Cited In (4)

• A linear logic framework for multimodal logics
• 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