Computability in Europe
Event name
Computability in Europe
Event type
Event for scientific audience
Start date
08-06-2005
Location
Amsterdam, Netherlands
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-6 of 6 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Terwijn, Sebastiaan A. | Kripke models, distributive lattices, and Medvedev degrees | Präsentation Presentation | 2005 | |
| 2 | San Mauro, Luca Francesco | Learning algebraic structures | Präsentation Presentation | 2020 | |
| 3 | San Mauro, Luca Francesco | Measuring the Complexity of Reductions between Equivalence Relations | Präsentation Presentation | 2018 | |
| 4 | Fokina, Ekaterina | On-the-fly classification of structures | Präsentation Presentation | 2020 | |
| 5 | San Mauro, Luca Francesco | Punctual equivalence relations and their punctual complexity | Präsentation Presentation | 2019 | |
| 6 | Iemhoff, Rosalie | Skolemization in intuitionistic logic | Präsentation Presentation | 2005 |