David A. Wolfram

19 papers A 3B 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
Factoring Variants of Chebyshev Polynomials of the First and Second Kinds with Minimal Polynomials of cos(2
Am. Math. Mon.
David A. Wolfram
2000 J jnl
A Formula for the General Solution of a Constant-coefficient Difference Equation.
J. Symb. Comput.
David A. Wolfram
2000 J jnl
Complexity of Nilpotent Unification and Matching Problems.
Inf. Comput.
Qing Guo, Paliath Narendran, David A. Wolfram
2000 — ed.
Computing: the Australasian Theory Symposium, CATS 2000, Canberra, Australia, January 1-2, 2000
CATS
David A. Wolfram
2000 — conf
Preface.
CATS
David A. Wolfram
1999 A conf
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.
CADE
Karsten Konrad, David A. Wolfram
1996 A conf
Unification and Matching Modulo Nilpotence.
CADE
Qing Guo, Paliath Narendran, David A. Wolfram
1995 J jnl
An appraisal of INTERNIST-I.
Artif. Intell. Medicine
David A. Wolfram
1994 J jnl
A Semantics for lambda-Prolog.
Theor. Comput. Sci.
David A. Wolfram
1993 — conf
Semantics for Abstract Clauses.
TYPES
David A. Wolfram
1991 — conf
A Sheaf Semantics for FOOPS Expressions.
Object-Based Concurrent Computing
David A. Wolfram, Joseph A. Goguen
1991 — conf
Rewriting, and Equational Unification: the Higher-Order Cases.
RTA
David A. Wolfram
1990 A conf
ACE: The Abstract Clause Engine.
CADE
David A. Wolfram
1990 — conf
On Types and FOOPS.
DS-4
Joseph A. Goguen, David A. Wolfram
1990 — —
The Clausal Theory of Types.
David A. Wolfram
1989 J jnl
Forward Checking and Intelligent Backtracking.
Inf. Process. Lett.
David A. Wolfram
1989 J jnl
Intractable Unifiability Problems and Backtracking.
J. Autom. Reason.
David A. Wolfram
1986 B conf
Intractable Unifiability Problems and Backtracking.
ICLP
David A. Wolfram
1984 B conf
A Unified Treatment of Resolution Strategies for Logic Programs.
ICLP
David A. Wolfram, Michael J. Maher, Jean-Louis Lassez