Volume 38; Issue 2

Acta Informatica

Volume 38; Issue 2
1

Timed tree automata with an application to temporal logic

Salvatore La Torre, Margherita Napoli
Journal:
Acta Informatica
Year:
2001
Language:
english
File:
PDF, 210 KB
english, 2001
2

Group weighted finite transducers

Masami Ito, Carlos Martín-Vide, Victor Mitrana
Journal:
Acta Informatica
Year:
2001
Language:
english
File:
PDF, 127 KB
english, 2001
3

Tree-systems of morphisms

Jürgen Dassow, Gheorghe Păun, Gabriel Thierrin, Sheng Yu
Journal:
Acta Informatica
Year:
2001
Language:
english
File:
PDF, 199 KB
english, 2001