Canonical conditional rewrite systems

Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

44 Citations (Scopus)

Fingerprint Dive into the research topics of 'Canonical conditional rewrite systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science