Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Automata, Languages and Programming

The International Colloquium on Automata, Languages andProgramming (ICALP) is an annual conference series sponsoredby the European Association for Theoretical Computer Science(EATCS). It is intended to cover all important areas oftheoretical computer science, such as: computability,automata,formal languages, term rewriting, analysis ofalgorithms, computational geometry, computationalcomplexity, symbolic and algebraic computation,cryptography, data types and data structures, theory ofdata bases and knowledge bases, semantics of programminglanguages, program specification, transformation andverification, foundations of logicprogramming, theory oflogical design and layout, parallel and distributedcomputation, theory of concurrency, and theory of robotics.This volume contains the proceedings of ICALP 93, held atLundUniversity, Sweden, in July 1993. It includes fiveinvited papers and 51 contributed papers selected from 151submissions.
EAN: 9783540569398
Sprache: Englisch
Seitenzahl: 703
Produktart: kartoniert, broschiert
Verlag: Springer Springer, Berlin Springer Berlin Heidelberg
Untertitel: 20th International Colloquium, Lund, Sweden, July 5-9. 1993. Proceedings
Schlagworte: Algorithmen Automatentheorie Formale Sprachen Mathematische Logik Programmierung 1993
Größe: 233
Gewicht: 886 g