Pages that link to "Item:Q1095655"
From MaRDI portal
The following pages link to First-order approximation of algorithmic theories (Q1095655):
Displaying 6 items.
- Algorithmic problems and hierarchies of first-order languages (Q1112803) (← links)
- Elementary approximation theory (Q1198440) (← links)
- Algorithmic Pirogov-Sinai theory (Q2174663) (← links)
- Towards an Axiomatization of Simple Analog Algorithms (Q2898065) (← links)
- The collapse theorem for theories of<i>I</i>-reducible algebraic systems (Q4674660) (← links)
- A Characterization of Alternating Log Time by First Order Functional Programs (Q5387886) (← links)