Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures

By Matz O.  

Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. : 1-70

Elsevier

Access to resources Recommend Favorite

Semidefinite approximations for quadratic programs over orthogonal matrices

By Povh Janez  

Journal of Global Optimization, Vol. 48, Iss. 3, 2010-11 ,pp. : 447-463

Springer Publishing Company

Access to resources Recommend Favorite

Performance of fault-tolerant data and compute intensive programs over a network of workstations

By Smith J.A.   Shrivastava S.K.  

Theoretical Computer Science, Vol. 196, Iss. 1, 1998-04 ,pp. : 319-345

Elsevier

Access to resources Recommend Favorite

Automatic semigroups

By Campbell C.M.   Robertson E.F.   Ruskuc N.   Thomas R.M.  

Theoretical Computer Science, Vol. 250, Iss. 1, 2001-01 ,pp. : 365-391

Elsevier

Access to resources Recommend Favorite

Dot for Dot Proofing

By Livens Stefan  

Conference on Colour in Graphics, Imaging, and Vision, Vol. 2004, Iss. 1, 2004-01 ,pp. : 463-468

Society for Imaging Science and Technology

Access to resources Recommend Favorite