Classifying Discrete Temporal Properties (1999)
Cached
Download Links
- [www-i7.informatik.rwth-aachen.de]
- [www.ti.informatik.uni-kiel.de]
- DBLP
Other Repositories/Bibliography
by
Thomas Wilke
| Venue: | Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS 99), Lecture Notes in Computer Science 1563, Springer-Verlag |
| Citations: | 29 - 0 self |
BibTeX
@INPROCEEDINGS{Wilke99classifyingdiscrete,
author = {Thomas Wilke},
title = {Classifying Discrete Temporal Properties},
booktitle = {Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS 99), Lecture Notes in Computer Science 1563, Springer-Verlag},
year = {1999},
pages = {32--46},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper surveys recent results on the classification of discrete temporal properties, gives an introduction to the methods that have been developed to obtain them, and explains the connections to the theory of finite automata, the theory of nite semigroups, and to first-order logic.
