The SCEAS System
Navigation Menu

Search the dblp DataBase


David A. Wolfram: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joseph A. Goguen, David A. Wolfram
    On Types and FOOPS. [Citation Graph (2, 0)][DBLP]
    DS-4, 1990, pp:1-22 [Conf]
  2. David A. Wolfram
    Intractable Unifiability Problems and Backtracking. [Citation Graph (1, 0)][DBLP]
    ICLP, 1986, pp:107-121 [Conf]
  3. Qing Guo, Paliath Narendran, David A. Wolfram
    Unification and Matching Modulo Nilpotence. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:261-274 [Conf]
  4. 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]
  5. David A. Wolfram
    ACE: The Abstract Clause Engine. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:679-680 [Conf]
  6. 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]
  7. 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]
  8. David A. Wolfram
    Rewriting, and Equational Unification: the Higher-Order Cases. [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:25-36 [Conf]
  9. David A. Wolfram
    Semantics for Abstract Clauses. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:366-383 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. David A. Wolfram
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:31, n:, pp:- [Journal]
  16. 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.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002