- M. Falaschi, G. Levi, and C. Palamidessi. A synchronization logic:
Axiomatics and formal semantics of generalized Horn clauses.
Information and Control, 60(1-3):36-69,
January/February/March 1984.
Abstract
and References.
- Moreno Falaschi, Giorgio Levi, Maurizio Martelli, and Catuscia
Palamidessi. A
model-theoretic reconstruction of the operational semantics of logic
programs. Information and Computation, 103(1):86-113,
March 1993.
Abstract,
References,
and Citations.
- Frank S. de Boer and Catuscia Palamidessi. Embedding as a tool for language
comparison. Information and Computation,
108(1):128-157, January 1994.
Abstract
and References.
- Alessandra Di Pierro, Maurizio Martelli, and Catuscia Palamidessi. Negation as
instantiation. Information and Computation,
120(2):263-278, 1 August 1995.
Abstract,
References,
and Citations.
- Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, and Catuscia
Palamidessi. Constraint
logic programming with dynamic scheduling: A semantics based on closure
operators. Information and Computation, 137(1):41-67,
25 August 1997.
Abstract,
References,
and Citations.
Shortcuts: