Name Card

Full name Familienname, Vorname
Nerode, Anil
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-7 of 7 (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
4Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna Automated Support for the Investigation of Paraconsistent and Other LogicsKonferenzbeitrag Inproceedings2013
5Woltzenlogel-Paleo, Bruno Contextual Natural DeductionKonferenzbeitrag Inproceedings 2013
6Terwijn, Sebastiaan A. Decidability and undecidability in probability logicKonferenzbeitrag Inproceedings 2009
7Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno A Clausal Approach to Proof Analysis in Second-Order LogicKonferenzbeitrag Inproceedings 2009