25. ICALP 1998:
Aalborg,
Denmark
Kim Guldstrand Larsen, Sven Skyum, Glynn Winskel (Eds.):
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings.
Lecture Notes in Computer Science 1443 Springer 1998, ISBN 3-540-64781-3 BibTeX
@proceedings{DBLP:conf/icalp/1998,
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
booktitle = {ICALP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1443},
year = {1998},
isbn = {3-540-64781-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lecture
Complexity
Verification
Data Structures
Concurrency
Invited Lecture
Computational Geormetry
Automata and Temporal Logic
Algorithms
Infinite State Systems
Invited Lecture
Complexity
Verification
Complexity
Concurrency
Invited Lecture
Algorithms
Semantics
Approximation
Theorem Proving
Formal Languages
Pi-calculus
Automata and BSP
Rewriting
Invited Lecture
Networks and Routing
Real Time
Networks and Routing
Automata and Temporal Logic
Invited Lecture
Approximation
Pi-calculus
Algorithms
Theorem Proving
Invited Lecture
Zero-Knowledge
Semantics
Quantum Computing and Computational Biology
Pi-calculus
Invited Lecture
Automata
Programming Languages and Types
Copyright © Sat May 16 23:16:06 2009
by Michael Ley (ley@uni-trier.de)