Forward looking logics and automata
<p>This thesis is concerned with extending properties of regular word languages to richer structures. We consider intricate properties like the relationship between one-way and two-way temporal logics, minimization of automata, and the ability to effectively characterize logics. We investigate...
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Diplomová práce |
| Jazyk: | English |
| Vydáno: |
2011
|
| Témata: |