Pages that link to "Item:Q5055764"
From MaRDI portal
The following pages link to An efficient representation of arithmetic for term rewriting (Q5055764):
Displaying 6 items.
- Characterizing arithmetic read-once formulae (Q2828215) (← links)
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo (Q3003304) (← links)
- More problems in rewriting (Q5055812) (← links)
- Rewrite systems for integer arithmetic (Q5055840) (← links)
- Problems in rewriting III (Q5055847) (← links)
- LEMA (Q5176481) (← links)