ISBN:
9783662529201
Series Statement:
Lecture notes in computer science 9803
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-662-52921-8
Language:
English
Subjects:
Computer Science
Keywords:
Logik
;
Theoretische Informatik
;
Programmiersprache
;
Konferenzschrift
URL:
http://www.springer.com/
Author information:
Väänänen, Jouko 1950-