Compositional Semantics for the Procedural Interpretation of Logic

DOI10.1007/11799573_24zbMath1131.68409OpenAlexW2108852136MaRDI QIDQ5449610

Maarten H. Van Emden

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11799573_24

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• HiLog

This page was built for publication: Compositional Semantics for the Procedural Interpretation of Logic