Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).
Dagstuhl Reports. Bd. 5. H. 9. 2015 S. 18 - 37
Erscheinungsjahr: 2015
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.4230/DagRep.5.9.18
Geprüft | Bibliothek |
Autoren
Bjørner, Nikolaj (Autor)
Christian Blanchette, Jasmin (Autor)
Weidenbach, Christoph (Autor)