Monotonicity characterizations of regular languages
Open Access
- 1 October 2025
- journal article
- Published by Elsevier in Information and Computation
- Vol. 307
Abstract
No abstract availableFunding Information
- Israel Science Foundation (2357/19)
- European Research Council
This publication has 9 references indexed in Scilit:
- Model Checking of Safety PropertiesFormal Methods in System Design, 2001
- Efficient Detection of Vacuity in Temporal Model CheckingFormal Methods in System Design, 2001
- Convergence Rates for Markov ChainsSIAM Review, 1995
- Safety, liveness and fairness in temporal logicFormal Aspects of Computing, 1994
- On the expressive power of temporal logicJournal of Computer and System Sciences, 1993
- A very hard log-space counting classTheoretical Computer Science, 1993
- On the expressive power of temporal logic for infinite wordsTheoretical Computer Science, 1991
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Probabilities on finite modelsThe Journal of Symbolic Logic, 1976