Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)

Nikolaj Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach. Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports, 5(9):18-37, 2015. [doi]

Abstract

Abstract is missing.