scientific article; zbMATH DE number 1348473
From MaRDI portal
Publication:4264727
zbMath0925.03062MaRDI QIDQ4264727
Ekkehard Rohwedder, Frank Pfenning
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)
Related Items (6)
On extensibility of proof checkers ⋮ Representing proof transformations for program optimization ⋮ Mechanized metatheory revisited ⋮ Proof-search in type-theoretic languages: An introduction ⋮ A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs ⋮ The practice of logical frameworks
Uses Software
This page was built for publication:
