scientific article
From MaRDI portal
Publication:2767057
zbMath0983.68036MaRDI QIDQ2767057
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A two-level logic approach to reasoning about computations, Nominal abstraction, Constraint handling rules with binders, patterns and generic quantification, Unnamed Item, The Abella Interactive Theorem Prover (System Description), Incorporating quotation and evaluation into Church's type theory, A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs, On the Expressivity of Minimal Generic Quantification, Formalizing Operational Semantic Specifications in Logic, Encoding Generic Judgments
