18. ICALP 1991:
Madrid,
Spain
Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo (Eds.):
Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings.
Lecture Notes in Computer Science 510 Springer 1991, ISBN 3-540-54233-7 BibTeX
@proceedings{DBLP:conf/icalp/1991,
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr\'{\i}guez-Artalejo},
title = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
booktitle = {ICALP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {510},
year = {1991},
isbn = {3-540-54233-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Logic Programming
Functional Programming
Specification and Verification
- Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis:
Safety for Branching Time Semantics.
76-92 BibTeX
- Limor Fix, Nissim Francez, Orna Grumberg:
Program Composition and Modular Verification.
93-114 BibTeX
- Rajeev Alur, Costas Courcoubetis, David L. Dill:
Model-Checking for Probabilistic Real-Time Systems (Extended Abstract).
115-126 BibTeX
- Rance Cleaveland, Bernhard Steffen:
Computing Behavioural Relations, Logically.
127-138 BibTeX
Complexity
Complexity and Concurrency
Formal Languages
Rewriting and Logic
Graph Algorithms
Complexity
Parallel Algorithms
Logic in Computer Science
Concurrency
Algorithms
Formal Languages
Formal Languages and Complexity
Computational Geometry
Complexity and Computational Geometry
Algorithms
Copyright © Sat May 16 23:16:05 2009
by Michael Ley (ley@uni-trier.de)
