CO3
From MaRDI portal
Software:39827
No author found.
Related Items (2)
Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems ⋮ Applications and extensions of context-sensitive rewriting
This page was built for software: CO3