On the Equivalence of Recursive and Nonrecursive Datalog Programs

By Chaudhuri S.   Vardi M.Y.  

Journal of Computer and System Sciences, Vol. 54, Iss. 1, 1997-02 ,pp. : 61-78

Academic Press

Access to resources Recommend Favorite

Efficient Adaptive and Dynamic Mesh Refinement Based on a Non-recursive Strategy

By Bo M.   Amor M.   Concheiro R.   Doggett M.  

Computer Journal, Vol. 56, Iss. 7, 2013-07 ,pp. : 843-851

Oxford University Press

Access to resources Recommend Favorite

Relatively recursive reals and real functions

By Ho C.-K.  

Theoretical Computer Science, Vol. 210, Iss. 1, 1999-01 ,pp. : 99-120

Elsevier

Access to resources Recommend Favorite

Decision tree approximations of Boolean functions

By Mehta  

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

Elsevier

Access to resources Recommend Favorite

Separation of uniform learning classes

By Zilles S.  

Theoretical Computer Science, Vol. 313, Iss. 2, 2004-02 ,pp. : 229-265

Elsevier

Access to resources Recommend Favorite