Works matching IS 00015903 AND DT 2003 AND VI 39 AND IP 5
Results: 2
Coincidental extension of scattered context languages.
- Published in:
- Acta Informatica, 2003, v. 39, n. 5, p. 307, doi. 10.1007/s00236-003-0112-0
- By:
- Publication type:
- Article
Reasoning about probabilistic sequential programs in a probabilistic logic.
- Published in:
- Acta Informatica, 2003, v. 39, n. 5, p. 315, doi. 10.1007/s00236-003-0113-z
- By:
- Publication type:
- Article