Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6810Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642228070
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.