Temporal Hierarchies of Regular Languages: Missing Arguments for the Intermediary Statements

Table of Links

Abstract and 1 Introduction

2 Preliminaries

3 Temporal Hierarchies

4 Rating Maps

5 Optimal Imprints for TL(AT)

6 Conclusion and References

Appendix A. Appendix to Section 2

Appendix B. Appendix to Section 3

Appendix C. Appendix to Section 4 & Appendix D. Appendix to Section 5

Appendix C. Appendix to Section 4

We now prove Proposition 27.

Appendix D. Appendix to Section 5

:::info
This paper is available on arxiv under CC BY 4.0 DEED license.

:::

:::info
Authors:

(1) Thomas Place;

(2) Marc Zaitoun.

:::