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

Computability

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

Rewriting

Formal Languages III

Cryptography

Algorithms IV

Semantics II and Automata

Biocomputing

Logic Programming

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