Transforming Nonlinear Recursion to Linear Recursion
Consider a function-free and constant free Horn clause [Gall 78]... (cannot display further due to mathematical functions that cannot be expressed in text - please donwload paper instead).
Παραπομπή
Yannis Ioannidis, Eugene Wong, "Transforming Nonlinear Recursion to Linear Recursion ", 2nd Int’l Conference on Expert Database Systems, Tyson’s Corner, VA, April 1988, pp. 187-207, 1988
Αρχείο
TAGS
