D. A. Wolfram

Available identifiers

Publication	Date of Publication	Type
Inverse connection formulae for generalised Bessel polynomials	2025-01-20	Paper
Semantics for abstract clauses	2023-12-08	Paper
Rewriting, and equational unification: the higher-order cases	2022-12-09	Paper
FACTORING VARIANTS OF CHEBYSHEV POLYNOMIALS WITH MINIMAL POLYNOMIALS OF	2022-12-06	Paper
Change of Basis from Bernstein to Zernike	2022-03-17	Paper
Factoring variants of Chebyshev polynomials of the first and second kinds with minimal polynomials of \(\cos (\frac{2 \pi}{d})\)	2022-02-28	Paper
Change of Basis between Classical Orthogonal Polynomials	2021-08-31	Paper
The Change of Basis Groupoid	2021-07-12	Paper
Unification and matching modulo nilpotence	2019-01-15	Paper
The Clausal Theory of Types	2009-10-22	Paper
Complexity of nilpotent unification and matching problems.	2003-01-14	Paper
A formula for the general solution of a constant-coefficient difference equation	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4398229	1999-05-05	Paper
A semantics for \(\lambda \)Prolog	1997-02-27	Paper
The Clausal Theory of Types	1993-01-23	Paper
Forward checking and intelligent backtracking	1989-01-01	Paper
Intractable unifiability problems and backtracking	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3740274	1986-01-01	Paper

This page was built for person: D. A. Wolfram