Logical Foundations of Computer Science 2018

Event name
Logical Foundations of Computer Science 2018
 
Event type
Event for scientific audience
 
Start date
07-01-2018
End date
12-01-2018
 
Location
Deerfield Beach, Florida
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata From Display to Labelled Calculi for Tense LogicsKonferenzbeitrag Inproceedings 2018