CO3

MaRDI QIDQ39827swMATHFDO

Official website https://www.trs.css.i.nagoya-u.ac.jp/co3/

Cited in

(9)

• Applications and extensions of context-sensitive rewriting
• CSI
• Saigawa
• Conditional Confluence
• ConCon
• CoCoWeb
• Cops
• FORT
• Narrowing trees for syntactically deterministic conditional term rewriting systems

This page was built for software: CO3