Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Automata, Languages and Programming

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.
EAN: 9783540194880
Sprache: Englisch Französisch
Seitenzahl: 746
Produktart: kartoniert, broschiert
Verlag: Springer Springer, Berlin Springer Berlin Heidelberg
Untertitel: 15th Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings
Schlagworte: Algorithmen Automatentheorie Formale Sprachen Mathematische Logik Programmierung
Größe: 235
Gewicht: 1031 g