Higher-Order Rewriting: Framework, Confluence and Termination.

Jean-Pierre Jouannaud

Published in: Processes, Terms and Cycles (2005)

Keyphrases

higher order
conceptual framework
information systems
main contribution
neural network
data mining
artificial intelligence
pairwise
query language
probabilistic model
natural images