These proceedings of ICALP '91 contain papers covering recent research in all areas of theoretical computer science. ICALP is sponsored by EATCS, the European Association for Theoretical Computer Science.
Javier Leach Albert
Automat Layout automata computer science database formal language formal languages knowledge base programming programming language robot robotics semantics term rewriting verification