Automata logic and infinite games : a guide to current research

Saved in:
Bibliographic Details
Main Author: Gradel, Erich
Other Authors: Thomas, Wolfgang/Wilke, Thomas eds
Language:English
Published: Berlin Springer 2002
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items: Automata logic and infinite games : a guide to current research