Pages that link to "Item:Q5200038"
From MaRDI portal
The following pages link to On Transfinite Knuth-Bendix Orders (Q5200038):
Displaying 6 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Neural precedence recommender (Q2055885) (← links)
- Transparency order of \((n, m)\)-functions -- its further characterization and applications (Q2154041) (← links)
- A transfinite Knuth-Bendix order for lambda-free higher-order terms (Q2405268) (← links)
- (Q3512712) (← links)
- (Q4262639) (← links)