Automata logics, and infinite games : a guide to current research


Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Bok Engelsk 2002

Detaljer

Bibliotek som har denne