Dominik Wagner : Publications

Click here to download all publications in a single bibtex file

@conference{12509,
  title = "HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories",
  author = "C.-H. Luke Ong and Dominik Wagner",
  year = "2019 (to appear)",
  booktitle = "34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",
  url = "http://www.cs.ox.ac.uk/files/10606/HoCHC_LICS.pdf",
}

@mastersthesis{W18,
  title = "Resolution for Higher-Order Constrained Horn Clauses",
  author = "Dominik Wagner",
  year = "2018",
  school = "University of Oxford",
  url = "http://www.cs.ox.ac.uk/files/10233/dissertation.pdf",
}