Coincidental extension of scattered context languages.Published in:Acta Informatica, 2003, v. 39, n. 5, p. 307, doi. 10.1007/s00236-003-0112-0By:Meduna, A.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-zBy:Ying, M.Publication type:Article