dblp.uni-trier.de www.uni-trier.de

24. ICALP 1997: Bologna, Italy

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (Eds.): Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings. Lecture Notes in Computer Science 1256 Springer 1997, ISBN 3-540-63165-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Formal Languages I


Computational Complexity

Semantics I

Algorithms I

Calculi for Concurrency I

Formal Languages II

Calculi for Concurrency II

Algorithms II

Logic and Verification

Analysis of Algorithms

Process Equivalences

Routing Algorithms

Petri Nets and Process Theory

Algorithms III


Formal Languages III


Algorithms IV

Semantics II and Automata


Logic Programming

Copyright © Mon Nov 2 20:41:06 2009 by Michael Ley (ley@uni-trier.de)