From temporal logics to automata via alternation elimination

Metadata Label Value
Author(s): Dax, Christian Nikolaus
Publisher: ETH
Citation:

Dax, Christian Nikolaus. From temporal logics to automata via alternation elimination. ETH (2010). http://dx.doi.org/10.3929/ethz-a-006183969

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (41.76KB) , Fulltext (979.38KB)
Import to Mendeley

Detailed Information

Metadata Description
Title From temporal logics to automata via alternation elimination
Author(s) Dax, Christian Nikolaus
Publication Place Zürich
Publisher ETH
Publication Date 2010
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 19200, 2010
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006183969
Subject(s) Telecommunications
Applied Mathematics
Keyword(s) MATHEMATICAL LOGIC
ALGEBRAIC QUESTIONS CONCERNING AUTOMATA
CONTROL SYSTEMS THEORY
INFORMATION TECHNOLOGIES
COMMUNICATION TECHNOLOGIES
TELECOMMUNICATIONS
Description File Name MIME Type Size
Abstract   eth-1819-01.pdf application/pdf 41.76KB
Fulltext   eth-1819-02.pdf application/pdf 979.38KB
Abstract Views and Downloads
Views 49  abstracts
Downloads 108  downloads

Abstract Views and Downloads by Country
Views 12  abstracts
Downloads 36  downloads
Switzerland Views 11  abstracts
Downloads 16  downloads
Germany Views abstracts
Downloads 15  downloads
United States Views abstracts
Downloads 10  downloads
United Kingdom Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Mexico Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads


E-Collection record created: Tue, 19 Oct 2010, 04:19:20 CET