Works matching IS 00015903 AND DT 2009 AND VI 46 AND IP 2
Results: 3
The time complexity of typechecking tree-walking tree transducers.
- Published in:
- Acta Informatica, 2009, v. 46, n. 2, p. 139, doi. 10.1007/s00236-008-0087-y
- By:
- Publication type:
- Article
Random walks for selected boolean implication and equivalence problems.
- Published in:
- Acta Informatica, 2009, v. 46, n. 2, p. 155, doi. 10.1007/s00236-009-0089-4
- By:
- Publication type:
- Article
A theory of structural stationarity in the π-Calculus.
- Published in:
- Acta Informatica, 2009, v. 46, n. 2, p. 87, doi. 10.1007/s00236-009-0091-x
- By:
- Publication type:
- Article