A new bound for the D0L sequence equivalence problem.
- Published in:
- Acta Informatica, 2007, v. 43, n. 6, p. 419, doi. 10.1007/s00236-006-0028-6
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2007 AND VI 43 AND IP 6
Results: 4
1
2
Representation and uniformization of algebraic transductions.
- Published in:
- Acta Informatica, 2007, v. 43, n. 6, p. 395, doi. 10.1007/s00236-006-0027-7
- By:
- Publication type:
- Article
3
On the tree-transformation power of XSLT.
- Published in:
- Acta Informatica, 2007, v. 43, n. 6, p. 371, doi. 10.1007/s00236-006-0026-8
- By:
- Publication type:
- Article
4
Verification conditions are code.
- Published in:
- Acta Informatica, 2007, v. 43, n. 6, p. 431, doi. 10.1007/s00236-006-0029-5
- By:
- Publication type:
- Article