Login / Signup

A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms.

Klaus U. Schulz
Published in: RTA (1997)
Keyphrases
  • function symbols
  • computational complexity
  • expert systems
  • np complete
  • orders of magnitude