Vicious Circles in Orthogonal Term Rewriting Systems.

Jeroen Ketema Jan Willem Klop Vincent van Oostrom

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

term rewriting systems
functional programs
hough transform
logic programs
machine learning
general purpose