Journal of Automated Reasoning
Title Titel
Journal of Automated Reasoning
e-ISSN
1573-0670
ISSN
0168-7433
Publisher Herausgeber
SPRINGER
Access Type
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints | Article Artikel    | 2017 |
| 2 |  | Ebner, Gabriel ; Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel | On the Generation of Quantified Lemmas | Article Artikel | 2019 |