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

Access to Document

@article{7fc063dd633047f2b1d3d0628c114179,

title = "Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)",

author = "Nikolaj Bj{\o}rner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov",

year = "2011",

doi = "10.4230/DagRep.1.7.23",

language = "English",

volume = "1",

pages = "23--35",

journal = "Dagstuhl Reports",

publisher = "Leibniz-Zentrum f{\"u}r Informatik",

number = "7",

}