scientific article
From MaRDI portal
Publication:2722016
zbMath0966.68140MaRDI QIDQ2722016
Axel Schairer, Serge Autexier, Heiko Mantel, Dieter Hutter
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ Towards Logical Frameworks in the Heterogeneous Tool Set Hets ⋮ Development graphs -- proof management for structured specifications ⋮ A proof-centric approach to mathematical assistants ⋮ A scalable module system ⋮ Structuring theories with implicit morphisms ⋮ Morphism equality in theory graphs ⋮ Unnamed Item ⋮ Representing model theory in a type-theoretical logical framework ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ CASL: the Common Algebraic Specification Language.
Uses Software
This page was built for publication:
