Logical Foundations of Computer Science, International Symposium, LFCS 2016

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

Results 1-2 of 2 (Search time: 0.002 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
2Kuznets, Roman Interpolation Method for Multicomponent Sequent CalculiKonferenzbeitrag Inproceedings 2016