Name Card

Full name Familienname, Vorname
Olarte, Carlos
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian A Game Model for Proofs with CostsKonferenzbeitrag Inproceedings 2019
2Lellmann, Björn ; Ciabattoni, Agata ; Olarte, Carlos ; Pimentel, Elaine From Cut-free Calculi to Automated Deduction: The Case of Bounded ContractionArtikel Article 2017