Workshop on Logic and Algebra
Event name
Workshop on Logic and Algebra
Event type
Event for scientific audience
Start date
28-08-2012
Location
TU Wien, Austria
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Zamansky, Anna | Applications of non-determinism in proof -theory | Präsentation Presentation | 2012 | |
| 2 | Baaz, Matthias | Satisfiability in Gödel logics | Präsentation Presentation | 2012 |