Pages that link to "Item:Q5881192"
From MaRDI portal
The following pages link to Computing linearizations using test sets (Q5881192):
Displaying 8 items.
- Batch checking with applications to linear functions (Q1198028) (← links)
- Deciding quasi-reducibility using witnessed test sets (Q1288435) (← links)
- Linearizing term rewriting systems using test sets (Q1332338) (← links)
- Testing linear operators (Q1904274) (← links)
- (Q4343582) (← links)
- More problems in rewriting (Q5055812) (← links)
- Reducing Testing Affine Spaces to Testing Linearity of Functions (Q5098778) (← links)
- The HOM Problem is EXPTIME-Complete (Q5895159) (← links)