Automata, Languages and Programming: 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
Zoltan Fülöp, Ferenc Gecseg
Springer, Aug 8, 1995 - Computers - 686 pages
This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995. The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding, and semantics.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Theory of 2Structures
Automata and Formal Languages I
2 other sections not shown
Other editions - View all
2-structure A-levelable Abstract algebraic algorithm alphabet approximation assume automaton binary bisimulation chordless cycles clock closure complexity components Computer Science condition connected consider constant construct contains Corollary corresponding cost cycle data structure defined definition deletion denote deterministic digraph dominating pair dynamic edge equation equivalent exists finite automata fixpoint function given grammar systems graph G Hence infinite input integer interval interval graphs interval orders labeled language Lemma linear logic lower bound matrix minimal minimum minimum cut monoid morphism nodes obtained on-line operations optimal P/poly partial order permutation graphs polynomial prefix problem Proc proof prove PSPACE query random recognizable recursive relation representation resp satisfy CP semantics semigroups semiring sequence shortest path solution space string Sturmian words subgraph subset symbols Theorem theory transition system tree decomposition treewidth Turing machine update variables vertex vertices weight words