Heide, F Meyer auf der <br/><br/>
Automata, languages and programming: 23rd International Colloquium, ICALP '96 
F Meyer auf der Heide and B Monien 
 - 
 - Springer-Verlag, New York  1996 
 - 
 - .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Symbolic logic
<br/><br/><label>Dewey Class. No.: </label>005.131  HEI-A