Full name Familienname, Vorname
Artemov, Sergei
 
Main Affiliation Organisations­zuordnung
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela A Globally Sound Analytic Calculus for Henkin QuantifiersKonferenzbeitrag Inproceedings2020
2Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal LogicsKonferenzbeitrag Inproceedings 2016
3Kuznets, Roman Interpolation Method for Multicomponent Sequent CalculiKonferenzbeitrag Inproceedings 2016