Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Book title Buchtitel
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
 
ISBN
978-3-662-59532-9
 
 
Publisher Herausgeber
Springer
Springer
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
Berlin/Heidelberg
 
DOI
10.1007/978-3-662-59533-6
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019