Fingerprint
Dive into the research topics of 'Canonical conditional rewrite systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Canonical conditional rewrite systems
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
46
Scopus
citations