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