Login / Signup
Confluence Thanks to Extensional Determinism.
A. W. Roscoe
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
rewrite systems
artificial intelligence
schema integration
feature selection
partial order
update operators