Automata, logics, and infinite games a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke, editors. a guide to current research /
Saved in:
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, [Germany] ; Heidelberg, [Germany] :
Springer,
2002.
|
Series: | Lecture notes in computer science ;
2500. |
Subjects: | |
Online Access: | https://ebookcentral.proquest.com/lib/lboro/detail.action?docID=3072685 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
https://ebookcentral.proquest.com/lib/lboro/detail.action?docID=3072685Online Resource - Electronic book
Copy [Unknown] | Available |
---|