Skip to content

An Operational Algebraic Semantics of Prolog Programs.

Pierre Deransart

VenueBICLP
Year1983
ProceedingsLogic Programming Workshop

Browse the full ICLP paper archive.