Pages that link to "Item:Q1780969"
From MaRDI portal
The following pages link to Classical and new paradigms of computation and their complexity hierarchies. Papers of the conference ``Foundations of the formal sciences III'', Vienna, Austria, September 21-24, 2001. (Q1780969):
Displayed 3 items.
- History and philosophy of infinity. Selected papers from the conference ``Foundations of the Formal Sciences VIII'' held at Corpus Christi College, Cambridge, England, 20--23 September 2013 (Q510701) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
