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