Reduction Strategies and Acyclicity.

Jan Willem Klop Vincent van Oostrom Femke van Raamsdonk

Published in: Rewriting, Computation and Proof (2007)

Keyphrases

neural network
data exchange
query answering
databases
artificial intelligence
social networks
image processing
website
three dimensional