Name Card

Full name Familienname, Vorname
Artemov, Sergei
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Artemov, Sergei ; Kuznets, Roman Logical omniscience as infeasibilityArtikel Article2014

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna Automated Support for the Investigation of Paraconsistent and Other LogicsKonferenzbeitrag Inproceedings2013
2Woltzenlogel-Paleo, Bruno Contextual Natural DeductionKonferenzbeitrag Inproceedings 2013
3Terwijn, Sebastiaan A. Decidability and undecidability in probability logicKonferenzbeitrag Inproceedings 2009
4Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno A Clausal Approach to Proof Analysis in Second-Order LogicKonferenzbeitrag Inproceedings 2009