2 |
| Marcinkowski, Jerzy (ed.) |
| |
| | 2000 | [Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio] | | | Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104 | Journal Article | |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | [Apt, K.]
[Marek, V. W.]
[Truszczynski, M.]
[Warren, D. S.] | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | Part of a Book | |
| | 1999 | [Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano] | Gupta, Gopal | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Proceedings Article | |
| | 1999 | Delzanno, Giorgio
[Galmiche, Didier]
[Martelli, Maurizio] | | | A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286 | Journal Article | |