Lara Spendier

Affiliations:

Vienna University of Technology, Austria

According to our database¹, Lara Spendier authored at least 8 papers between 2009 and 2014.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2014

Taming Paraconsistent (and Other) Logics: An Algorithmic Approach.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

Tools for the Investigation of Substructural and Paraconsistent Logics.

[BibT_eX]

[DOI]

Agata Ciabattoni

Lara Spendier

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Hypersequent and Labelled Calculi for Intermediate Logics.

[BibT_eX]

[DOI]

Agata Ciabattoni

Paolo Maffezioli

Lara Spendier

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

VCWC: A Versioning Competition Workflow Compiler.

[BibT_eX]

[DOI]

Lara Katharina Spendier

Johannes Peter Wallner

Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

[BibT_eX]

[DOI]

Lara Katharina Spendier

Johannes Peter Wallner

Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Automated Support for the Investigation of Paraconsistent and Other Logics.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

Standard Completeness for Extensions of MTL: An Automated Approach.

[BibT_eX]

[DOI]

Paolo Baldi

Agata Ciabattoni

Lara Spendier

Proceedings of the Logic, Language, Information and Computation, 2012

2009

Semantic SOS over Virtual Topic Maps.

[BibT_eX]

[DOI]

Robert Barta

Thomas Bleier

Lara Spendier

South Afr. Comput. J., 2009

Lara Spendier

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...