Works matching IS 00015903 AND DT 2001 AND VI 38 AND IP 2

Results: 3

    • 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