LPAR-21: 21st. International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Event name
LPAR-21: 21st. International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Event type
Event for scientific audience
Start date
08-05-2017
End date
12-05-2017
Location
Maun, Südafrika
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias | First-Order Interpolation and Interpolating Proofs Systems | Präsentation Presentation | 2017 | |
| 2 | Baaz, Matthias ; Preining, Norbert | Gödel Logics and the Fully Boxed Fragment of LTL | Präsentation Presentation | 2017 |