|
|||||
|
|
Theories of {omega}-layered metric temporal structures: expressiveness and decidability |
|
| Authors: | Montanari A; Peron A; Policriti A |
| Institution: | A1 Dipartimento di Matematica e Informatica, Universita di Udine, Via delle Scienze 206, 33100 Udine, Italy Z E-mail: montana@dimi.uniud.it ZZ E-mail: peron@dimi.uniud.it ZZZ E-mail: policrit@dimi.uniud.it |
| Abstract: | |
| Keywords: | Time Granularity Temporal Logic Monadic Second-OrderTheories Tree Automata |
| 本文献已被 Oxford 等数据库收录！ | |