Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. HoCHC: A Refutationally Complete and Semantically Invariant System of Higher−order Logic Modulo Theories

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

C.−H. Luke Ong and Dominik Wagner

Book Title
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Year
2019 (to appear)

Links

Back to Top