Dominik Wagner : Publications
-
[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
-
[2]
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