Diekert, Volker, Ed. Volkov, Mikhail V, Ed. Voronkov, Andrei, Ed.
Computer science - theory and applications - Berlin Springer-Verlag 2007 - 417 - Lecture notes in computer science ; 04649 .
9783540745099
681 LNCS
Computer science - theory and applications - Berlin Springer-Verlag 2007 - 417 - Lecture notes in computer science ; 04649 .
9783540745099
681 LNCS