Pages that link to "Item:Q757071"
From MaRDI portal
The following pages link to Term rewriting: Some experimental results (Q757071):
Displaying 11 items.
- sprfn (Q35809) (← links)
- Refutational theorem proving using term-rewriting systems (Q802317) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Theorem proving modulo (Q1431339) (← links)
- From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985) (← links)
- (Q3789044) (← links)
- (Q3809229) (← links)
- (Q4222988) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation (Q5505589) (← links)
- Clausal rewriting (Q5881281) (← links)