Pages that link to "Item:Q418690"
From MaRDI portal
The following pages link to Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009 (Q418690):
Displaying 5 items.
- Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010 (Q366181) (← links)
- Special issue: Computability in Europe: Mathematical theory and computational practice. Selected papers based on the presentations at the conference CiE 2009, Heidelberg, Germany, July 19--24, 2009 (Q443844) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- (Q2995019) (← links)
- (Q5444943) (← links)