Logical Foundations of Computer Science. International Symposium, LFCS 2016

Book title Buchtitel
Logical Foundations of Computer Science. International Symposium, LFCS 2016
 
ISBN
978-3-319-27683-0
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
Springer
 
Place of publishing Erscheinungsort
9537
 
DOI
10.1007/978-3-319-27683-0
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

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