A hierarchy of semantics for normal constraint logic programs

From MaRDI portal

Revision as of 20:17, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2956714

Jump to:navigation, search

DOI10.1007/3-540-61735-3_5zbMath1355.68034OpenAlexW1598566063MaRDI QIDQ2956714

François Fages, Roberta Gori

Publication date: 19 January 2017

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

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements ⋮ S-semantics for logic programming: a retrospective look

This page was built for publication: A hierarchy of semantics for normal constraint logic programs

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