Automata, languages and programming: 23rd International Colloquium, ICALP '96

Heide, F Meyer auf der

Automata, languages and programming: 23rd International Colloquium, ICALP '96 F Meyer auf der Heide and B Monien - - Springer-Verlag, New York 1996 - - .


Symbolic logic

005.131 HEI-A