Finitely recursive programs: Decidability and bottom-up computation.

Saved in:

Bibliographic Details
Title:	Finitely recursive programs: Decidability and bottom-up computation.
Authors:	Calimeri, Francesco¹, Cozza, Susanna², Ianni, Giovambattista¹, Leone, Nicola¹
Source:	AI Communications; 2011, Vol. 24 Issue 4, p311-334, 24p
Database:	Applied Science & Technology Source

Description
ISSN:	09217126
DOI:	10.3233/aic-2011-0509