Event name
Collegium Logicum 2007
 
Event type
Event for scientific audience
 
Start date
24-10-2007
End date
25-10-2007
 
Location
Wien, Austria
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias Decidability problems of partial proof descriptionsPräsentation Presentation2007
2Terwijn, Sebastiaan A. Embeddings into the Medvedev latticePräsentation Presentation2007
3Preining, Norbert Gödel logics over hyper realsPräsentation Presentation2007
4Ciabattoni, Agata Uniform standard completeness proofsPräsentation Presentation2007