Name Card

Full name Familienname, Vorname
Schmidt, Renate
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beyersdorff, Olaf ; Blinkhorn, Joshua ; Chew, Leroy ; Schmidt, Renate ; Suda, Martin Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBFArtikel Article 2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fermüller, Christian G. ; Lang, Timo Interpreting Sequent Calculi as Client-Server GamesKonferenzbeitrag Inproceedings 2017
2Seidl, Martina ; Lonsing, Florian ; Biere, Armin qbf2epr: A Tool for Generating EPR Formulas from QBFKonferenzbeitrag Inproceedings2012
3Eiter, Thomas ; Ianni, Giovambattista ; Krennwallner, Thomas Answer Set Programming: A PrimerKonferenzbeitrag Inproceedings 2009
4Tessaris, Sergio ; Franconi, Enrico ; Eiter, Thomas ; Gutierrez, Claudio ; Handschuh, Siegfried ; Rousset, Marie-Christine ; Schmidt, Renate Reasoning Web. Semantic Technologies for Information SystemsKonferenzband Proceedings2009
5Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik System Description: The Cut-Elimination System CERESKonferenzbeitrag Inproceedings2006