NESTED GUARDED HORN CLAUSES

DOI10.1142/S0129054190000187MaRDI QIDQ3358219zbMATH OpenOpenAlexFDO

Authors Maurizio Gabbrielli, Masaki Murakami, M. Falaschi, Giorgio Levi

Publication date 1990

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054190000187

zbMATH Keywords

concurrent logic programmingfixpoint semanticsNested Guarded Horn Clausesunfolding semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 41233
• scientific article; zbMATH DE number 4074449
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• A declarative semantics of flat guarded Horn clauses for programs with perpetual processes
• scientific article; zbMATH DE number 17798

Cited in

(5)

• Unfolding and fixpoint semantics of concurrent constraint logic programs
• A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
• scientific article; zbMATH DE number 4074449 (Why is no real title available?)
• scientific article; zbMATH DE number 41233 (Why is no real title available?)
• A declarative semantics of flat guarded Horn clauses for programs with perpetual processes

This page was built for publication: NESTED GUARDED HORN CLAUSES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3358219)