CoCoWeb

swMATH28111MaRDI QIDQ39825FDOQ39825

Author name not available (Why is that?)

Cited In (4)

• Confluence by critical pair analysis revisited
• Title not available (Why is that?)
• Applications and extensions of context-sensitive rewriting
• Derivational complexity and context-sensitive Rewriting

This page was built for software: CoCoWeb