Pages that link to "Item:Q2904765"
From MaRDI portal
The following pages link to Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree (Q2904765):
Displaying 8 items.
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Isomorphisms of scattered automatic linear orders (Q2446106) (← links)
- The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
- Automatic structures of bounded degree revisited (Q3107359) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q4910740) (← links)
- Uniformly Automatic Classes of Finite Structures (Q5090943) (← links)
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES (Q5207571) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)