Université Nice Sophia Antipolis
Event name
Université Nice Sophia Antipolis
Event type
Event for scientific audience
Start date
22-01-2018
End date
26-01-2018
Location
Nizza
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 | Lolic, Anela | First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation | Präsentation Presentation | 2018 | |
| 2 | Baaz, Matthias | Unsound Inferences Make Proofs Shorter | Präsentation Presentation | 2018 |