Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Automata, Languages and Programming

This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contain 52 refereed papers selected from 172 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on: Process Theory; Fairness, Domination, and the u-Calculus; Logic and Algebra; Languages and Processes; Algebraic Complexity; Graph Algorithms; Automata; Complexity Theory; Combinatorics on Words; Algorithms; Lower Bounds; Data Structures...
EAN: 9783540614401
Sprache: Englisch
Seitenzahl: 684
Produktart: kartoniert, broschiert
Verlag: Springer Springer, Berlin Springer Berlin Heidelberg
Untertitel: 23rd International Colloquium, Paderborn, Germany, July 8-12, 1996. Proceedings
Schlagworte: Algorithmen Automatentheorie Formale Sprachen Mathematische Logik Programmierung
Größe: 235
Gewicht: 890 g