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
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Lolic, Anela First-Order Interpolation of Non-Classical Logics Derived from Propositional InterpolationPräsentation Presentation2018
2Baaz, Matthias Unsound Inferences Make Proofs ShorterPräsentation Presentation2018