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).

Citation
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
File
ceds1988.pdf
TAGS
Access
Unknown
Published at
2nd Int’l Conference on Expert Database Systems, Tyson’s Corner, VA, April 1988, pp. 187-207
Related research area
No related research area
Related Organizations
No related organizations

People involved

  • Yannis
    Yannis Ioannidis / Faculty