Name Card

Full name Familienname, Vorname
Pimentel, Elaine
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.Artikel Article 2021
2Pimentel, Elaine ; Ramanayake, Revantha ; Lellmann, Björn Sequentialising Nested SystemsKonferenzbeitrag Inproceedings 2019
3Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian A Game Model for Proofs with CostsKonferenzbeitrag Inproceedings 2019
4Lellmann, Björn ; Pimentel, Elaine Modularisation of Sequent Calculi for Normal and Non-normal ModalitiesArtikel Article 2019
5Lellmann, Björn ; Ciabattoni, Agata ; Olarte, Carlos ; Pimentel, Elaine From Cut-free Calculi to Automated Deduction: The Case of Bounded ContractionArtikel Article 2017
6Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal LogicsKonferenzbeitrag Inproceedings 2016

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ciabattoni, Agata ; Pimentel, Elaine ; de Queiroz, Ruy J.G.B. Logic, Language, Information, and ComputationBook Buch 2022
2Schoisswohl, Johannes ; Kovács, Laura Automating Induction by ReflectionKonferenzbeitrag Inproceedings 2021