David A. Wolfram

ORCID

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 1

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

David A. Wolfram
). Am. Math. Mon. 129 (2) (2022)
David A. Wolfram
Preface. Electron. Notes Theor. Comput. Sci. 31 (2000)
David A. Wolfram
A Formula for the General Solution of a Constant-coefficient Difference Equation. J. Symb. Comput. 29 (1) (2000)
Qing Guo, Paliath Narendran, David A. Wolfram
Complexity of Nilpotent Unification and Matching Problems. Inf. Comput. 162 (1-2) (2000)
Karsten Konrad, David A. Wolfram
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics. CADE (1999)
Qing Guo, Paliath Narendran, David A. Wolfram
Unification and Matching Modulo Nilpotence. CADE (1996)
David A. Wolfram
An appraisal of INTERNIST-I. Artif. Intell. Medicine 7 (2) (1995)
David A. Wolfram
A Semantics for lambda-Prolog. Theor. Comput. Sci. 136 (1) (1994)
David A. Wolfram
Semantics for Abstract Clauses. TYPES (1993)
David A. Wolfram, Joseph A. Goguen
A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing (1991)
David A. Wolfram
Rewriting, and Equational Unification: the Higher-Order Cases. RTA (1991)
Joseph A. Goguen, David A. Wolfram
On Types and FOOPS. DS-4 (1990)
David A. Wolfram
ACE: The Abstract Clause Engine. CADE (1990)
David A. Wolfram
Intractable Unifiability Problems and Backtracking. J. Autom. Reason. 5 (1) (1989)
David A. Wolfram
Forward Checking and Intelligent Backtracking. Inf. Process. Lett. 32 (2) (1989)
David A. Wolfram
Intractable Unifiability Problems and Backtracking. ICLP (1986)
David A. Wolfram, Michael J. Maher, Jean-Louis Lassez
A Unified Treatment of Resolution Strategies for Logic Programs. ICLP (1984)

David A. Wolfram.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

David A. Wolfram