scientific article
From MaRDI portal
Publication:3204068
zbMath0716.68079MaRDI QIDQ3204068
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
Structured theory presentations and logic representations ⋮ Linear unification of higher-order patterns ⋮ TWAM: a certifying abstract machine for logic programs ⋮ Problems in rewriting applied to categorical concepts by the example of a computational comonad ⋮ A notation for lambda terms. A generalization of environments ⋮ Modular AC unification of higher-order patterns ⋮ Twenty years of rewriting logic ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Checking algorithms for Pure Type Systems ⋮ The expressive power of Structural Operational Semantics with explicit assumptions ⋮ Unnamed Item ⋮ Focusing in Linear Meta-logic ⋮ Unnamed Item ⋮ Forum: A multiple-conclusion specification logic ⋮ A natural deduction approach to dynamic logic ⋮ Using typed lambda calculus to implement formal systems on a machine ⋮ A framework for proof systems ⋮ Isabelle's metalogic: formalization and proof checker ⋮ Elf ⋮ Unification with extended patterns ⋮ A practical implementation of simple consequence relations using inductive definitions ⋮ Mechanized metatheory revisited ⋮ A formalization and proof checker for Isabelle's metalogic ⋮ The practice of logical frameworks
Uses Software
This page was built for publication:
