FORT

swMATH28637MaRDI QIDQ40351FDOQ40351

Author name not available (Why is that?)

Described by source

• FORT 2.0

Cited In (1)

• Derivational complexity and context-sensitive Rewriting

This page was built for software: FORT