Alternating Automata and the Temporal Logic of Ordinals

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"