| No. |
Title |
Author |
Year |
| 1 |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) |
Bjorner, Nikolaj et al. |
2011 |
| 2 |
10161 Abstracts Collection -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 3 |
10161 Executive Summary -- Decision Procedures in Software, Hardware and Bioware |
Bjorner, Nikolaj et al. |
2010 |
| 4 |
07401 Abstracts Collection -- Deduction and Decision Procedures |
Baader, Franz et al. |
2007 |
| 5 |
07401 Executive Summary -- Deduction and Decision Procedures |
Baader, Franz et al. |
2007 |
| 6 |
05431 Abstracts Collection -- Deduction and Applications |
Baader, Franz et al. |
2006 |
| 7 |
05431 Executive Summary -- Deduction and Applications |
Baader, Franz et al. |
2006 |
