Automata, Languages and Programming: 15th International Colloquium Tampere, Finland, July 11-15, 1988 Proceedings (Lecture Notes in Computer Science, 317, Band 317) - Softcover

Softcover

ISBN 10: 3540194886 ISBN 13: 9783540194880

Verlag: Springer, 2009

Inhaltsangabe

This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of 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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2009
• Sprache: Englisch
• ISBN 10: 3540194886
• ISBN 13: 9783540194880
• Einband: Taschenbuch
• Anzahl der Seiten: 760
• Herausgeber: Lepistö Timo
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; Deutschland