Journal of Automated Reasoning

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Journal of Automated Reasoning
 
e-ISSN
1573-0670
 
ISSN
0168-7433
 
Publisher Herausgeber
SPRINGER
 

Publications Publikationen

Filter:
Access Type:  Open Access

Results 1-3 of 3 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sinn Moritz - 2017 - Complexity and Resource Bound Analysis of Imperative...pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017
2Ebner Gabriel - 2018 - On the Generation of Quantified Lemmas.pdf.jpgEbner, Gabriel ; Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel On the Generation of Quantified LemmasArticle Artikel 2019
3Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021