Logical Foundations of Computer Science, International Symposium, LFCS 2016

View Statistics Email Alert RSS Feed

Description

Event name
Logical Foundations of Computer Science, International Symposium, LFCS 2016
 
Event type
Event for scientific audience
 
Start date
04-01-2016
End date
07-01-2016
 
Location
Deerfield Beach, Forida
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Lellmann, Björn

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

PreviewAuthor(s)TitleTypeIssue Date
1Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal LogicsKonferenzbeitrag Inproceedings 2016