CO3

swMATH28113MaRDI QIDQ39827FDOQ39827

Author name not available (Why is that?)

Cited In (2)

• Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems
• Applications and extensions of context-sensitive rewriting

This page was built for software: CO3