scientific article

From MaRDI portal

Publication:3355220

Jump to:navigation, search

zbMath0729.68008MaRDI QIDQ3355220

James Andrews

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics logic programming system natural deduction proof system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3355220&oldid=16610959"