Cops

swMATH28112MaRDI QIDQ39826FDOQ39826

Author name not available (Why is that?)

Official website: http://cops.uibk.ac.at/

Cited In (9)

• Title not available (Why is that?)
• Applications and extensions of context-sensitive rewriting
• CSI
• Conditional Confluence
• CoLL
• CoCoWeb
• CO3
• FORT
• Derivational complexity and context-sensitive Rewriting

This page was built for software: Cops