The following pages link to (Q3700828):
Displaying 4 items.
- Termination of rewriting (Q1098624) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Recursive Path Orderings Can Also Be Incremental (Q5387842) (← links)
- Combinatorial Algorithms for Listing Paths in Minimal Change Order (Q5458510) (← links)