Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Lara Spendier

Lara Katharina Spendier

> Home > Persons

Person information

affiliation: Vienna University of Technology, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CiabattoniLSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CiabattoniLSZ14
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky:
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16(1): 5:1-5:23 (2014)
2009
[j1]
- view
  - electronic edition @ sabinet.co.za (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/saj/BartaBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saj/BartaBS09
Robert Barta, Thomas Bleier, Lara Spendier:
Semantic SOS over Virtual Topic Maps. South Afr. Comput. J. 43: 3-16 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/CiabattoniS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/CiabattoniS14
Agata Ciabattoni, Lara Spendier:
Tools for the Investigation of Substructural and Paraconsistent Logics. JELIA 2014: 18-32
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/CiabattoniLSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/CiabattoniLSZ13
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky:
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS 2013: 119-133
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13
Mario 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. LPNMR 2013: 42-53
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/CharwatIKKPRSSWX13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/CharwatIKKPRSSWX13
Gü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. LPNMR 2013: 233-238
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/CiabattoniMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/CiabattoniMS13
Agata Ciabattoni, Paolo Maffezioli, Lara Spendier:
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX 2013: 81-96
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/BaldiCS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/BaldiCS12
Paolo Baldi, Agata Ciabattoni, Lara Spendier:
Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC 2012: 154-167

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.