CO3

swMATH28113MaRDI QIDQ39827FDOQ39827

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: CO3