The SCEAS System
| |||||||

## Search the dblp DataBase
David A. Wolfram:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Joseph A. Goguen, David A. Wolfram
**On Types and FOOPS.**[Citation Graph (2, 0)][DBLP] DS-4, 1990, pp:1-22 [Conf] - David A. Wolfram
**Intractable Unifiability Problems and Backtracking.**[Citation Graph (1, 0)][DBLP] ICLP, 1986, pp:107-121 [Conf] - Qing Guo, Paliath Narendran, David A. Wolfram
**Unification and Matching Modulo Nilpotence.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:261-274 [Conf] - Karsten Konrad, David A. Wolfram
**System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.**[Citation Graph (0, 0)][DBLP] CADE, 1999, pp:282-286 [Conf] - David A. Wolfram
**ACE: The Abstract Clause Engine.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:679-680 [Conf] - David A. Wolfram, Joseph A. Goguen
**A Sheaf Semantics for FOOPS Expressions.**[Citation Graph (0, 0)][DBLP] Object-Based Concurrent Computing, 1991, pp:81-98 [Conf] - David A. Wolfram, Michael J. Maher, Jean-Louis Lassez
**A Unified Treatment of Resolution Strategies for Logic Programs.**[Citation Graph (0, 0)][DBLP] ICLP, 1984, pp:263-276 [Conf] - David A. Wolfram
**Rewriting, and Equational Unification: the Higher-Order Cases.**[Citation Graph (0, 0)][DBLP] RTA, 1991, pp:25-36 [Conf] - David A. Wolfram
**Semantics for Abstract Clauses.**[Citation Graph (0, 0)][DBLP] TYPES, 1993, pp:366-383 [Conf] - David A. Wolfram
**An appraisal of INTERNIST-I.**[Citation Graph (0, 0)][DBLP] Artificial Intelligence in Medicine, 1995, v:7, n:2, pp:93-116 [Journal] - Qing Guo, Paliath Narendran, David A. Wolfram
**Complexity of Nilpotent Unification and Matching Problems.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:162, n:1-2, pp:3-23 [Journal] - David A. Wolfram
**Forward Checking and Intelligent Backtracking.**[Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1989, v:32, n:2, pp:85-87 [Journal] - David A. Wolfram
**Intractable Unifiability Problems and Backtracking.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:1, pp:37-47 [Journal] - David A. Wolfram
**A Formula for the General Solution of a Constant-coefficient Difference Equation.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:1, pp:79-82 [Journal] - David A. Wolfram
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:31, n:, pp:- [Journal] - David A. Wolfram
**A Semantics for lambda-Prolog.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:136, n:1, pp:277-289 [Journal]
Search in 0.011secs, Finished in 0.012secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |