Description |
1 online resource (x, 565 pages) : illustrations |
Series |
Lecture notes in computer science ; 267 |
|
Lecture notes in computer science ; 267.
|
Contents |
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 -- Author Index |
Summary |
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas |
Analysis |
Formal languages Congresses |
|
Machine theory Congresses |
|
Programming (Electronic computers) Congresses |
Notes |
"ICALP 87"--Spine |
Bibliography |
Includes bibliographical references and index |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
digitized 2012 HathiTrust Digital Library committed to preserve pda MiAaHDL |
|
Print version record |
Subject |
Machine theory -- Congresses
|
|
Formal languages -- Congresses
|
|
Computer programming -- Congresses
|
|
Computer programming
|
|
Formal languages
|
|
Machine theory
|
|
Machine theory -- Congresses.
|
|
Programming languages (Electronic computers) -- Congresses.
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Ottmann, Thomas.
|
ISBN |
9783540477471 |
|
3540477470 |
|