KoMeT
From MaRDI portal
Software:40434
No author found.
Related Items (12)
ILF-SETHEO ⋮ IeanCOP: lean connection-based theorem proving ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ T-string unification: Unifying prefixes in non-classical proof methods ⋮ Converting non-classical matrix proofs into sequent-style systems ⋮ Combining enumeration and deductive techniques in order to increase the class of constructible infinite models ⋮ Specifying and Verifying Organizational Security Properties in First-Order Logic ⋮ A solver for QBFs in negation normal form ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Integration of automated and interactive theorem proving in ILF ⋮ A uniform procedure for converting matrix proofs into sequent-style systems ⋮ Practically useful variants of definitional translations to normal form
This page was built for software: KoMeT
