Propositional Linear Temporal Logic and Language Homomorphisms

U. Ultes-Nitsche
DOI: https://doi.org/10.1007/3-540-58140-5_26
Abstract:
What problem does this paper attempt to address?