| Original language | English |
|---|---|
| Pages (from-to) | 23-35 |
| Number of pages | 13 |
| Journal | Dagstuhl Reports |
| Volume | 1 |
| Issue number | 7 |
| DOIs | |
| Publication status | Published - 2011 |
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
Research output: Contribution to journal › Article › peer-review