The following pages link to (Q5310873):
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)
- Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth) (Q1092015) (← links)
- Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday (Q1947814) (← links)
- (Q5444943) (← links)