Event name
Logic Colloquium 2013
 
Event type
Event for scientific audience
 
Start date
22-07-2013
End date
27-07-2013
 
Location
Evora, Portugal
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eberhard, Sebastian Characterising polytime and exptime using truth-inductionPräsentation Presentation2013
2Baaz, Matthias ; Bou, Felix ; Preining, Norbert Characterization of decidable monadic Gödel logics: validity and satifaiabilityPräsentation Presentation2013
3Hetzl, Stefan Proofs and grammarsPräsentation Presentation2013