References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

First Page		Document Content
Date: 2016-11-27 13:25:29		References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a Add to Reading List Source URL: profs.sci.univr.it Download Document from Source Website File Size: 88,91 KB Share Document on Facebook