scientific article; zbMATH DE number 1424012
From MaRDI portal
Publication:4945200
zbMath0947.68128MaRDI QIDQ4945200
Markus Wenzel, Stefan Berghofer
Publication date: 26 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A Purely Definitional Universal Domain ⋮ Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL ⋮ A formalized general theory of syntax with bindings ⋮ Monotonicity inference for higher-order formulas ⋮ Comprehending Isabelle/HOL’s Consistency ⋮ The Isabelle Framework ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Monotonicity Inference for Higher-Order Formulas ⋮ HasCasl: integrated higher-order specification and program development ⋮ A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++
Uses Software
