David A. Wolfram
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1984–1999
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | CADE | System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. | Karsten Konrad, David A. Wolfram |
| 1996 | CADE | Unification and Matching Modulo Nilpotence. | Qing Guo, Paliath Narendran, David A. Wolfram |
| 1990 | CADE | ACE: The Abstract Clause Engine. | David A. Wolfram |
| 1990 | DS | On Types and FOOPS. | Joseph A. Goguen, David A. Wolfram |
| 1986 | ICLP | Intractable Unifiability Problems and Backtracking. | David A. Wolfram |
| 1984 | ICLP | A Unified Treatment of Resolution Strategies for Logic Programs. | David A. Wolfram, Michael J. Maher, Jean-Louis Lassez |