Second Florence - Vienna Workshop on Logic and Computation
Event name
Second Florence - Vienna Workshop on Logic and Computation
Event type
Event for scientific audience
Start date
02-11-2005
Location
Florenz, Italy
Country
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Terwijn, Sebastiaan A. | Constructive logic and factors of the Medvedev lattice | Präsentation Presentation | 2005 | |
| 2 | Baaz, Matthias | Proof theory of analogical reasoning an juridical logic | Präsentation Presentation | 2005 | |
| 3 | Iemhoff, Rosalie | Skolemization in intuitionistic logic | Präsentation Presentation | 2005 | |
| 4 | Winkler, Reinhard | The Boolean algebra of Hartman sets on groups | Präsentation Presentation | 2005 | |
| 5 | Ciabattoni, Agata | Towards a semantic characterization of cut elimination | Präsentation Presentation | 2005 |