catuscia palamidessi Catuscia Palamidessi's Documents - EPDF.PUB

Catuscia Palamidessi's Documents

Catuscia Palamidessi's Documents

CONCUR 2000 - Concurrency Theory, 11 conf

CONCUR 2000 - Concurrency Theory, 11 conf
Read more
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science)

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science)
Read more
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Read more
Principles of Declarative Programming, 10 conf., PLILP'98

Principles of Declarative Programming, 10 conf., PLILP'98
Read more
SOFSEM 2009: Theory and Practice of Computer Science, 35 conf

SOFSEM 2009: Theory and Practice of Computer Science, 35 conf
Read more
Automata, Languages and Programming, 32 conf., ICALP 2005

Automata, Languages and Programming, 32 conf., ICALP 2005
Read more
Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings
Read more