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
Works matching IS 00015903 AND DT 2008 AND VI 45 AND IP 6
Results: 2
1
2
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