## Automata, Languages and Programming: 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. ProceedingsThis 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.

### Contents

Theory of 2Structures | 1 |

A Generalization | 15 |

Automata and Formal Languages I | 39 |

Copyright | |

2 other sections not shown

### Other editions - View all

### Common terms and phrases

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