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

14. ICALP 1987: Karlsruhe, Germany

Thomas Ottmann (Ed.): Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Lecture Notes in Computer Science 267 Springer 1987, ISBN 3-540-18088-5 BibTeX
@proceedings{DBLP:conf/icalp/1987,
  editor    = {Thomas Ottmann},
  title     = {Automata, Languages and Programming, 14th International Colloquium,
               ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
  booktitle = {ICALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {267},
  year      = {1987},
  isbn      = {3-540-18088-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Inductive Inference, Logic and Functional Programming

Rewrite Systems

Semantics, Concurrency

Formal Languages and Automata

Temporal Logic, Concurrent Systems

Parallel and Distributed Computing

Algorithms and Complexity

Petri Nets, Algebraic Specification

Complexity

Invited Lecture

Copyright © Sat May 16 23:16:05 2009 by Michael Ley (ley@uni-trier.de)