Artemov, Sergei
[Sonstige Person, Familie und Körperschaft];
Nerode, Anil
[Sonstige Person, Familie und Körperschaft];
Artemov, Sergej N.
[HerausgeberIn];
Nerode, Anil
[HerausgeberIn]
;
LFCS 2009 Deerfield Beach, Fla
Logical foundations of computer science
: international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 ; proceedings