Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel. Using Logic Programs to Reason about Infinite Sets. In International Symposium on Artificial Intelligence and Mathematics (AI&M 2004), Fort Lauderdale, Florida, USA, January 4-6, 2004. 2004. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Using Logic Programs to Reason about Infinite SetsDouglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel. amai 2004: [doi] Logic programming with infinite setsDouglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek. AMAI, 44(4):309-339, 2005. [doi]
The following publications are possibly variants of this publication: