Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Book title Buchtitel
Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
 
ISBN
978-3-642-35721-3
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
Springer LNCS
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
Heidelberg
 
DOI
10.1007/978-3-642-35722-0
 

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno Contextual Natural DeductionKonferenzbeitrag Inproceedings 2013