Pages that link to "Item:Q5055821"
From MaRDI portal
The following pages link to Towards an efficient construction of test sets for deciding ground reducibility (Q5055821):
Displaying 4 items.
- Testing for the ground (co-)reducibility property in term-rewriting systems (Q685352) (← links)
- Deciding quasi-reducibility using witnessed test sets (Q1288435) (← links)
- Linearizing term rewriting systems using test sets (Q1332338) (← links)
- Computing ground reducibility and inductively complete positions (Q5055712) (← links)