TICAMORE Meeting/Workshop 3
Event name
TICAMORE Meeting/Workshop 3
Event type
Event for scientific audience
Start date
06-06-2018
End date
08-06-2018
Location
Nancy
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ramanayake, Revantha | A deduction theorem for non-commutative Full Lambek calculus with contraction FLc | Präsentation Presentation | 2018 | |
| 2 | Ciabattoni, Agata | Deontic Reasoning: From Ancient Texts to Artificial Intelligence | Präsentation Presentation | 2018 | |
| 3 | Lyon, Tim | Internalizing Labelled Proofs for Tense Logics with Path Axioms | Präsentation Presentation | 2018 |