This volume contains the proceedings of ICALP'93. ICALP is a major annual international conference series on all important areas of theoretical computer science.
Andrzej Lingas
Automat algorithms automata complexity computer science data structure data structures formal language programming programming language robot robotics semantics term rewriting verification