Pages that link to "Item:Q5452180"
From MaRDI portal
The following pages link to The Church-Turing Thesis over Arbitrary Domains (Q5452180):
Displayed 5 items.
- The computable kernel of abstract state machines (Q959826) (← links)
- The influence of domain interpretations on computational models (Q1036525) (← links)
- How much can analog and hybrid systems be proved (super-)Turing (Q2497875) (← links)
- Three Paths to Effectiveness (Q3586000) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)