Sciweavers

AMAI
2005
Springer
14 years 16 days ago
Logic programming with infinite sets
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Ma...