Results: 2
Inference rules for proving the equivalence of recursive procedures.
- Published in:
- Acta Informatica, 2008, v. 45, n. 6, p. 403, doi. 10.1007/s00236-008-0075-2
- By:
- Publication type:
- Article
Modelling higher-order dual nondeterminacy.
- Published in:
- Acta Informatica, 2008, v. 45, n. 6, p. 441, doi. 10.1007/s00236-008-0076-1
- By:
- Publication type:
- Article