Hortensius, Peter D.2013-02-252013-02-251988http://hdl.handle.net/1993/16760xviii, 246 leaves :engParallel computation of non-deterministic algorithms in VLSIdoctoral thesis