Pages that link to "Item:Q1080530"
From MaRDI portal
The following pages link to The Ehrenfeucht conjecture: An algebra-framework for its proof (Q1080530):
Displaying 4 items.
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids (Q798007) (← links)
- New techniques for proving the decidability of equivalence problem (Q913523) (← links)
- A proof of Ehrenfeucht's conjecture (Q1082090) (← links)