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 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2019 (to appear).
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 | Download (pdf) of 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