Publication:2753599
From MaRDI portal
zbMath0972.03528MaRDI QIDQ2753599
Publication date: 14 November 2001
03B35: Mechanization of proofs and logical operations
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
Related Items
Differential dynamic logic for hybrid systems, Axiomatic Constraint Systems for Proof Search Modulo Theories, Theorem Proving with Bounded Rigid E-Unification