Indexed Categories and Bottom-Up Semantics of Logic Programs
From MaRDI portal
Publication:2996182
DOI10.1007/3-540-45653-8_30zbMath1275.68042OpenAlexW2098577293MaRDI QIDQ2996182
Publication date: 6 May 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45653-8_30
Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A new framework for declarative programming, On the algebraic structure of declarative programming languages