Event name
Workshop TICAMORE
 
Event type
Event for scientific audience
 
Start date
15-11-2017
End date
18-11-2017
 
Location
Marseille
Country
France
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata From hypersequents to parallel computation for intermediate logicsPräsentation Presentation2017
2Lyon, Tim Mutual Translations between Display and Labelled Proofs for Tense LogicsPräsentation Presentation2017
3Ramanayake, Revantha A syntactic proof of decidability for the logic of Bunched Implication BIPräsentation Presentation2017