MFCS 2001
Linear Temporal Logic and Finite Semigroups
Abstract
Abstract This paper gives a gentle introduction to the semigroup-theoretic approach to classifying discrete temporal properties and surveys the most important results.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- International Symposium on Mathematical Foundations of Computer Science
- Archive span
- 1973-2025
- Indexed papers
- 3045
- Paper id
- 965282068646379936