Debra Sue Wilson

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Gopalan Nadathur, Debra Sue Wilson
A Notation for Lambda Terms: A Generalization of Environments. Theor. Comput. Sci. 198 (1-2) (1998)
Donald W. Loveland, David W. Reed, Debra Sue Wilson
SATCHMORE: SATCHMO with REIevancy. J. Autom. Reason. 14 (2) (1995)
Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Implementing Polymorphic Typing in a Logic Programming Language. Comput. Lang. 20 (1) (1994)
Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. ELP (1992)
Gopalan Nadathur, Debra Sue Wilson
A Representation of Lambda Terms Suitable for Operations on Their Intensions. LISP and Functional Programming (1990)