Contributions to the semantics of logic perpetual processes
From MaRDI portal
Publication:1113661
DOI10.1007/BF00291055zbMath0661.68012OpenAlexW2005715553MaRDI QIDQ1113661
Catuscia Palamidessi, Giorgio Levi
Publication date: 1988
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00291055
Related Items
Semantics for logic programs without occur check, Nondeterminism and infinite computations in constraint programming
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Closures and fairness in the semantics of programming logic
- Fundamental properties of infinite trees
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
- PARLOG: parallel programming in logic
- Top-down semantics of fair computations of logic programs
- Contributions to the Theory of Logic Programming
- The Semantics of Predicate Logic as a Programming Language
- Initial Algebra Semantics and Continuous Algebras
