Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).

Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries

Published in: RTA (1991)

Keyphrases

extended abstract
term rewriting systems
functional programs
logic programs
efficient computation
artificial intelligence
database
general purpose