Transfinite Reductions in Orthogonal Term Rewriting Systems

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

Published in: Inf. Comput. (1995)

Keyphrases

term rewriting systems
functional programs
logic programs
databases
distributed systems
efficient computation