Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela ; Artemov, Sergei ; Nerode, Anil A Globally Sound Analytic Calculus for Henkin QuantifiersKonferenzbeitrag Inproceedings2020