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

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine ; Artemov, Sergei ; Nerode, Anil Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal LogicsKonferenzbeitrag Inproceedings 2016
2Kuznets, Roman ; Artemov, Sergei ; Nerode, Anil Interpolation Method for Multicomponent Sequent CalculiKonferenzbeitrag Inproceedings 2016