scientific article
From MaRDI portal
Publication:2754030
zbMath0974.03013MaRDI QIDQ2754030
Tobias Nipkow, Stefan Berghofer
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Programming and Proving with Classical Types ⋮ A verified decision procedure for orders in Isabelle/HOL ⋮ A learning-based fact selector for Isabelle/HOL ⋮ Certifying compilers using higher-order theorem provers as certificate checkers ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ The Isabelle Framework ⋮ Scalable fine-grained proofs for formula processing ⋮ Isabelle's metalogic: formalization and proof checker ⋮ Certifying Term Rewriting Proofs in ELAN ⋮ A formalization and proof checker for Isabelle's metalogic
Uses Software
This page was built for publication:
