Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication).

Zurab Khasidashvili John R. W. Glauert

Published in: RTA (2003)

Keyphrases

partial order
conflict free
rewrite systems
partially ordered
term rewriting
total order
active rules
argumentation frameworks
functional dependencies
database schemes
preference relations
databases
database
operational semantics
theorem proving
multivalued dependencies
active databases