Reductive conditional term rewriting systems.

Jean-Pierre Jouannaud B. Waldmann

Published in: Formal Description of Programming Concepts (1987)

Keyphrases

term rewriting systems
logic programs
functional programs
random field model
artificial intelligence
databases
logic programming