A Proof Method for Local Sufficient Completeness of Term Rewriting Systems

Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto

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

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'A Proof Method for Local Sufficient Completeness of Term Rewriting Systems'. Together they form a unique fingerprint.

Computer Science

Mathematics

Psychology

Economics, Econometrics and Finance