Domains for logic programming

DOI10.1016/0304-3975(92)90324-9zbMath0745.68072OpenAlexW2093288068MaRDI QIDQ1185016

S. Singh

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://surface.syr.edu/eecs_techreports/33

zbMATH Keywords

Scott domainsleast fixed point semantics of logic programming

Mathematics Subject Classification ID

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

Cites Work

• An algebraic semantics approach to the effective resolution of type equations
• The Semantics of Predicate Logic as a Programming Language
• Initial Algebra Semantics and Continuous Algebras
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Domains for logic programming