Pages that link to "Item:Q4594221"
From MaRDI portal
The following pages link to Rewrite systems for natural, integral, and rational arithmetic (Q4594221):
Displaying 5 items.
- Fracpairs and fractions over a reduced commutative ring (Q297980) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- An efficient representation of arithmetic for term rewriting (Q5055764) (← links)
- Rewrite systems for integer arithmetic (Q5055840) (← links)
- (Q5856421) (← links)