Pages that link to "Item:Q1082090"
From MaRDI portal
The following pages link to A proof of Ehrenfeucht's conjecture (Q1082090):
Displaying 3 items.
- Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) (Q783293) (← links)
- Systems of word equations, polynomials and linear algebra: a new approach (Q1631611) (← links)
- Explicit test sets for iterated morphisms in free monoids and metabelian groups (Q1763708) (← links)
