FORT

swMATH28637MaRDI QIDQ40351FDOQ40351

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94205-6_6

Described by source

• FORT 2.0

Cited In (8)

• CSI
• Saigawa
• CoLL
• ConCon
• CoCoWeb
• CO3
• Cops
• Derivational complexity and context-sensitive Rewriting

This page was built for software: FORT