scientific article
From MaRDI portal
Publication:3212265
zbMath0724.68018MaRDI QIDQ3212265
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (6)
On the structural simplicity of machines and languages ⋮ Algebraic methods in the compositional analysis of logic programs ⋮ Institutions for logic programming ⋮ Unnamed Item ⋮ S-semantics for logic programming: a retrospective look ⋮ A compositional semantics for logic programs
This page was built for publication:
