Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings - International Colloquium on Automata, Languages, and Programming 2005 : Lisbon, Portugal); Caires, Luis.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Machine theory -- Congresses; Formal languages -- Congresses