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

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 329-356

Springer Publishing Company

Access to resources Recommend Favorite

Synthesis of parallel recursive programs in structural functional models

By Novoseltsev V.  

Programming and Computer Software, Vol. 33, Iss. 5, 2007-09 ,pp. : 293-298

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Exploring the overall behaviour of solutions of recursive computational models

By Hämäläinen J.S.   Aunola M.   Malm S.R.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 24, Iss. 1, 2005-03 ,pp. : 167-178

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Evolving Recursive Programs by Using Adaptive Grammar Based Genetic Programming

By Wong Man   Mun Tuen  

Genetic Programming and Evolvable Machines, Vol. 6, Iss. 4, 2005-12 ,pp. : 421-455

Springer Publishing Company

Access to resources Recommend Favorite