|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Interpretation as Automated Deduction |
D’Silva, Vijay |
2016 |
58 | 3 |
p. 363-390 |
artikel |
|
| 2 | A Decision Procedure for (Co)datatypes in SMT Solvers |
Reynolds, Andrew |
2016 |
58 | 3 |
p. 341-362 |
artikel |
|
| 3 | Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures |
Zulkoski, Edward |
2016 |
58 | 3 |
p. 313-339 |
artikel |
|
| 4 | Preface: Selected Extended Papers of CADE 2015 |
Felty, Amy |
2016 |
58 | 3 |
p. 311-312 |
artikel |
|
| 5 | Relative Termination via Dependency Pairs |
Iborra, José |
2016 |
58 | 3 |
p. 391-411 |
artikel |
5 gevonden resultaten