The following pages link to D. A. Wolfram (Q1262769):
Displaying 14 items.
- Intractable unifiability problems and backtracking (Q1262770) (← links)
- Forward checking and intelligent backtracking (Q1263983) (← links)
- A semantics for \(\lambda \)Prolog (Q1349686) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- A formula for the general solution of a constant-coefficient difference equation (Q1971494) (← links)
- The Clausal Theory of Types (Q3184628) (← links)
- (Q3740274) (← links)
- (Q4398229) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← links)
- Factoring Variants of Chebyshev Polynomials of the First and Second Kinds with Minimal Polynomials of cos(2<i>π</i>/<i>d</i>) (Q5037309) (← links)
- FACTORING VARIANTS OF CHEBYSHEV POLYNOMIALS WITH MINIMAL POLYNOMIALS OF (Q5053468) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)
- The Clausal Theory of Types (Q5966632) (← links)
- Inverse connection formulae for generalised Bessel polynomials (Q6666600) (← links)
