Shelfclass_id | 3.D.3 |
Sortkey | ROHDE, GARETH SCOTT |
Authors | Gareth Scott Rohde |
Title | Alternating Automata and the Temporal Logic of Ordinals |
Publisher | University Microfilms International |
Year | 1997 |
Languages | eng |
Record date | 20060629 |
Location | Ann Arbor |
Notes | "Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics, in the Graduate College of the University of Illinois at Urbana-Champaign, 1997" |