Pages that link to "Item:Q2987774"
From MaRDI portal
The following pages link to Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014) (Q2987774):
Displaying 4 items.
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009 (Q418690) (← links)
- Universal logic and computation (Q3133179) (← links)
- Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018 (Q5211060) (← links)
- Preface for the special issue of Proof, Structure, and Computation 2014 (Q5225849) (← links)