|
Search the dblp DataBase
Debra Sue Wilson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. [Citation Graph (0, 0)][DBLP] ELP, 1992, pp:359-393 [Conf]
- Gopalan Nadathur, Debra Sue Wilson
A Representation of Lambda Terms Suitable for Operations on Their Intensions. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1990, pp:341-348 [Conf]
- Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
Implementing Polymorphic Typing in a Logic Programming Language. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1994, v:20, n:1, pp:25-42 [Journal]
- Donald W. Loveland, David W. Reed, Debra Sue Wilson
SATCHMORE: SATCHMO with REIevancy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1995, v:14, n:2, pp:325-351 [Journal]
- Gopalan Nadathur, Debra Sue Wilson
A Notation for Lambda Terms: A Generalization of Environments. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:198, n:1-2, pp:49-98 [Journal]
Search in 0.001secs, Finished in 0.002secs
|