Fault-diagnosis of grid structures

By Caruso A.   Chessa S.   Maestrini P.   Santi P.  

Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. : 1149-1174

Elsevier

Access to resources Recommend Favorite

Combination of constraint solvers for free and quasi-free structures

By Baader F.   Schulz K.U.  

Theoretical Computer Science, Vol. 192, Iss. 1, 1998-02 ,pp. : 107-161

Elsevier

Access to resources Recommend Favorite

Graph theoretical structures in logic programs and default theories

By Dimopoulos Y.   Torres A.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 209-244

Elsevier

Access to resources Recommend Favorite

The challenge of "And" - tolerating the undecidable

By Hoffmann Ilka R  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 34, Iss. 3-4, 2005-03 ,pp. : 400-408

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A codicity undecidable problem in the plane

By Beauquier D.   Nivat M.  

Theoretical Computer Science, Vol. 303, Iss. 2, 2003-07 ,pp. : 417-430

Elsevier

Access to resources Recommend Favorite