Veröffentlichungen
Autoren:
Björn Lellmann
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods, 2015, Seite(n) 135-150, ISBN 978-3-319-24312-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-24312-2_10
Autoren:
Björn Lellmann, Elaine Pimentel
Veröffentlicht in:
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Seite(n) 558-574, ISBN 978-3-662-48899-7
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-48899-7_39
Autoren:
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods, 2015, Seite(n) 323-338, ISBN 978-3-319-24312-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-24312-2_22
Autoren:
Bj?rn Lellmann
Veröffentlicht in:
Theoretical Computer Science, Ausgabe 656, 2016, Seite(n) 76-105, ISSN 0304-3975
Herausgeber:
Elsevier BV
DOI:
10.1016/j.tcs.2016.10.004
Autoren:
Agata Ciabattoni, Bj?rn Lellmann, Carlos Olarte, Elaine Pimentel
Veröffentlicht in:
Electronic Notes in Theoretical Computer Science, Ausgabe 332, 2017, Seite(n) 75-93, ISSN 1571-0661
Herausgeber:
Elsevier BV
DOI:
10.1016/j.entcs.2017.04.006
Autoren:
Roman Kuznets, Bj?rn Lellmann
Veröffentlicht in:
Logic Journal of IGPL, Ausgabe 24/3, 2016, Seite(n) 375-423, ISSN 1367-0751
Herausgeber:
Oxford University Press
DOI:
10.1093/jigpal/jzw005
Autoren:
Elisa Freschi, Agata Ciabattoni, Francesco A. Genco, Bjoern Lellmann
Veröffentlicht in:
Journal of World Philosophies, Ausgabe 2, 2017, Seite(n) 47-66, ISSN 2474-1795
Herausgeber:
Indiana University Press
DOI:
10.2979/jourworlphil.2.1.05
Autoren:
Bjoern Lellmann, Carlos Olarte and Elaine Pimentel
Veröffentlicht in:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2017, Seite(n) 435-455, ISSN 2398-7340
Herausgeber:
Easychair
Autoren:
Marianna Girlando, Bj?rn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Veröffentlicht in:
2016, Seite(n) 272-287
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-48758-8_18
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor