Transforming Nonlinear Recursion to Linear Recursion
Authors: 
Yannis Ioannidis
Authors: 
Eugene Wong
Date published: 
1988
Published In: 
2nd Int’l Conference on Expert Database Systems, Tyson’s Corner, VA, April 1988, pp. 187-207
Type: 
Conference Article
Abstract: 

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

Related files: 
application/pdf iconceds1988.pdf 1.64 MB

MaDgIK 2009-2018