Works matching IS 00015903 AND DT 2007 AND VI 44 AND IP 2
Results: 3
A criterion for atomicity revisited.
- Published in:
- Acta Informatica, 2007, v. 44, n. 2, p. 123, doi. 10.1007/s00236-007-0044-1
- By:
- Publication type:
- Article
Infinitary rewriting: meta-theory and convergence.
- Published in:
- Acta Informatica, 2007, v. 44, n. 2, p. 91, doi. 10.1007/s00236-007-0043-2
- By:
- Publication type:
- Article
Decision problems for pushdown threads.
- Published in:
- Acta Informatica, 2007, v. 44, n. 2, p. 75, doi. 10.1007/s00236-007-0040-5
- By:
- Publication type:
- Article