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...
| Váldodahkki: | |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Oahppočájánas |
| Giella: | English |
| Almmustuhtton: |
2011
|
| Fáttát: |