More Problems in Rewriting.

Nachum Dershowitz Jean-Pierre Jouannaud Jan Willem Klop

Published in: RTA (1993)

Keyphrases

problems involving
difficult problems
databases
neural network
decision trees
case study
video sequences
scheduling problem
logic programs
application domains
benchmark problems