Collegium Logicum 2007

View Statistics Email Alert RSS Feed

Description

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

Filter:
Date Issued:  [2000 TO 2024]

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

PreviewAuthor(s)TitleTypeIssue 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