Algorithms for Equality and Unification in the Presence of Notational Definitions.

Frank Pfenning Carsten Schürmann

Published in: TYPES (1998)

Keyphrases

computational cost
real time
computational complexity
worst case
artificial intelligence
evolutionary algorithm
significant improvement
theoretical analysis
orders of magnitude
database
information systems
higher order
rough sets
computationally efficient