Expressiveness of Extended Bounded Response LTL
- 17 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 346, 152-165
- https://doi.org/10.4204/eptcs.346.10
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- On a Decision Method in Restricted Second Order ArithmeticPublished by Springer Science and Business Media LLC ,1990
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960