David A. Wolfram

According to our database, David A. Wolfram authored at least 17 papers between 1984 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Factoring Variants of Chebyshev Polynomials of the First and Second Kinds with Minimal Polynomials of cos(2<i>π</i>/<i>d</i>).

David A. Wolfram

Am. Math. Mon., 2022

2000

Preface.

David A. Wolfram

Proceedings of the Computing: the Australasian Theory Symposium, 2000

A Formula for the General Solution of a Constant-coefficient Difference Equation.

David A. Wolfram

J. Symb. Comput., 2000

Complexity of Nilpotent Unification and Matching Problems.

Qing Guo, Paliath Narendran, David A. Wolfram

Inf. Comput., 2000

1999

System Description: Kimba, A Model Generator for Many-Valued First-Order Logics.

Karsten Konrad, David A. Wolfram

Proceedings of the Automated Deduction, 1999

1996

Unification and Matching Modulo Nilpotence.

Qing Guo, Paliath Narendran, David A. Wolfram

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

An appraisal of INTERNIST-I.

David A. Wolfram

Artif. Intell. Medicine, 1995

1994

A Semantics for lambda-Prolog.

David A. Wolfram

Theor. Comput. Sci., 1994

1993

Semantics for Abstract Clauses.

David A. Wolfram

Proceedings of the Types for Proofs and Programs, 1993

1991

Rewriting, and Equational Unification: the Higher-Order Cases.

David A. Wolfram

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

A Sheaf Semantics for FOOPS Expressions.

David A. Wolfram, Joseph A. Goguen

Proceedings of the Object-Based Concurrent Computing, 1991

1990

The Clausal Theory of Types.

David A. Wolfram

PhD thesis, 1990

On Types and FOOPS.

Joseph A. Goguen, David A. Wolfram

Proceedings of the Object-Oriented Databases: Analysis, 1990

ACE: The Abstract Clause Engine.

David A. Wolfram

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Intractable Unifiability Problems and Backtracking.

David A. Wolfram

J. Autom. Reason., 1989

Forward Checking and Intelligent Backtracking.

David A. Wolfram

Inf. Process. Lett., 1989

1984

A Unified Treatment of Resolution Strategies for Logic Programs.

David A. Wolfram, Michael J. Maher, Jean-Louis Lassez

Proceedings of the Second International Logic Programming Conference, 1984