Dominik Wagner : Publications

Conference papers

• [1]

  HoCHC: A Refutationally Complete and Semantically Invariant System of Higher−order Logic Modulo Theories

  C.−H. Luke Ong and Dominik Wagner

  In LICS 2019. 2019.

  Details about HoCHC: A Refutationally Complete and Semantically Invariant System of Higher−order Logic Modulo Theories | BibTeX data for HoCHC: A Refutationally Complete and Semantically Invariant System of Higher−order Logic Modulo Theories

Theses

• [1]

  Resolution for Higher−Order Constrained Horn Clauses

  Dominik Wagner

  Master's Thesis University of Oxford. 2018.

  Details about Resolution for Higher−Order Constrained Horn Clauses | BibTeX data for Resolution for Higher−Order Constrained Horn Clauses | Download (pdf) of Resolution for Higher−Order Constrained Horn Clauses