The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Lara Katharina Spendier Lara Spendier ( http://dblp.L3S.de/Authors/Lara_Katharina_Spendier )

URL (Homepage):  http://www.logic.at/people/lara/  Author page on DBLP  Author page in RDF  Community of Lara Katharina Spendier in ASPL-2

Publication years (Num. hits)
2009 (1) 2012 (1) 2013 (4) 2014 (2)
Publication types (Num. hits)
article(2) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 9 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Lara Spendier Tools for the Investigation of Substructural and Paraconsistent Logics. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao VCWC: A Versioning Competition Workflow Compiler. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky Automated Support for the Investigation of Paraconsistent and Other Logics. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Paolo Maffezioli, Lara Spendier Hypersequent and Labelled Calculi for Intermediate Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo Baldi, Agata Ciabattoni, Lara Spendier Standard Completeness for Extensions of MTL: An Automated Approach. Search on Bibsonomy WoLLIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Robert Barta, Thomas Bleier, Lara Spendier Semantic SOS over Virtual Topic Maps. Search on Bibsonomy South African Computer Journal The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license