Lara Spendier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | JELIA | Tools for the Investigation of Substructural and Paraconsistent Logics. | Agata Ciabattoni, Lara Spendier |
| 2013 | LFCS | Automated Support for the Investigation of Paraconsistent and Other Logics. | Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky |
| 2013 | TABLEAUX | Hypersequent and Labelled Calculi for Intermediate Logics. | Agata Ciabattoni, Paolo Maffezioli, Lara Spendier |
| 2012 | WoLLIC | Standard Completeness for Extensions of MTL: An Automated Approach. | Paolo Baldi, Agata Ciabattoni, Lara Spendier |