Title: Automata, languages and programming
Description: This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972. The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science.
Subjects: Réécriture, Programmation, Cryptographie, Automate (informatique), Calcul parallèle, Congrès, Langages formels, Automates mathématiques, Théorie des, Automate, Langage formel, Informatique, [congrès], Concurrence, Théorie des automates, Réseau Petri, Langage de programmation, Routage, Ordinateurs, Programmation en logique, Complexité calcul, Sémantique, Machine theory, Formal languages, Computer programming, Congresses, Abstracte automaten, Programmeertalen, Computer science, Computer networks, Information theory