Fairness in Term Rewriting Systems.

Sara Porat Nissim Francez

Published in: RTA (1985)

Keyphrases

term rewriting systems
functional programs
logic programs
resource allocation
game theory
machine learning
databases
artificial intelligence
database
programming language