Found: 3

Select item for more details and to access through your institution.

  • Timed tree automata with an application to temporal logic.

    Published in:
    Acta Informatica, 2001, v. 38, n. 2, p. 89, doi. 10.1007/s002360100067
    By:
    • La Torre, Salvatore;
    • Napoli, Margherita
    Publication type:
    Article

  • Group weighted finite transducers.

    Published in:
    Acta Informatica, 2001, v. 38, n. 2, p. 117, doi. 10.1007/s002360100069
    By:
    • Ito, Masami;
    • Martín-Vide, Carlos;
    • Mitrana, Victor
    Publication type:
    Article

  • Tree-systems of morphisms.

    Published in:
    Acta Informatica, 2001, v. 38, n. 2, p. 131, doi. 10.1007/s002360100072
    By:
    • Dassow, Jürgen;
    • Păun, Gheorghe;
    • Thierrin, Gabriel;
    • Yu, Sheng
    Publication type:
    Article