Proceedings 1990 of ICALP, the established conference series on Automata, Languages and Programming. The selected contributions cover all important areas of theoretical computer science.
Michael S. Paterson
Automat Layout algorithms complexity computer science data structure formal language knowledge base programming programming language robot robotics semantics term rewriting verification