Automata logics, and infinite games (e-book)

Gradel, Erich

Automata logics, and infinite games (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2500 .

978-3-540-36387-3

Powered by Koha