Fairness in term rewriting systems.

Sara Porat Nissim Francez

Published in: Methods Log. Comput. Sci. (1994)

Keyphrases

term rewriting systems
functional programs
logic programs
resource allocation
game theory
general purpose
fair exchange