Name Card

Full name Familienname, Vorname

Spendier, Lara Katharina

Main Affiliation Organisationszuordnung

E185 - Institut für Computersprachen

Own Publications Eigene Publikationen

Results 1-12 of 12 (Search time: 0.004 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Spendier, Lara Katharina	Tools for the investigation of sustructural, intermediate and paraconsistent logics	Thesis Hochschulschrift	2015
	2		Ciabattoni, Agata ; Spendier, Lara	Tools for the Investigation of Substructural and Paraconsistent Logics	Konferenzbeitrag Inproceedings	2014
	3		Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara Katharina ; Zamansky, Anna	Taming Paraconsistent (and Other) Logics : An Algorithmic Approach	Artikel Article	2014
	4		Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna	Automated Support for the Investigation of Paraconsistent and Other Logics	Konferenzbeitrag Inproceedings	2013
	5		Spendier, Lara	Informatik - Knifflige Rätsel und andere Spielereien	Präsentation Presentation	2013
	6		Spendier, Lara	How to get featured in TIME magazine as a logician	Präsentation Presentation	2013
	7		Spendier, Lara	Automated Support for the Investigation of Paraconsistent and Other Logics	Präsentation Presentation	2013
	8		Ciabattoni, Agata ; Maffezioli, Paolo ; Spendier, Lara	Hypersequent and Labelled Calculi for Intermediate Logics	Konferenzbeitrag Inproceedings	2013
	9		Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui	VCWC: A Versioning Competition Workflow Compiler	Konferenzbeitrag Inproceedings	2013
	10		Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui	The Fourth Answer Set Programming Competition: Preliminary Report	Konferenzbeitrag Inproceedings	2013
	11		Spendier, Lara	Automated support for the investigation of paraconsistent and other logics	Präsentation Presentation	2012
	12		Baldi, Paolo ; Ciabattoni, Agata ; Spendier, Lara	Standard Completeness for Extensions of MTL: An Automated Approach	Konferenzbeitrag Inproceedings	2012