Publications

of Maja H. Kirkeby

Articles in journal, book chapters

  1. Henning Christiansen and Maja H Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, 29(1):57-95, 2017.
  2. Maja H Kirkeby and Henning Christiansen. Confluence and Convergence in Probabilistically Terminating Reduction Systems. arXiv preprint arXiv:1709.05123, 2017.
  3. Henning Christiansen and Maja H Kirkeby. On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects of Computing, pp 1-39, 2016.
  4. Henning Christiansen and Maja H. Kirkeby. Confluence Modulo Equivalence in Constraint Handling Rules, pages 41-58. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-17822-6. [WWW] [doi:10.1007/978-3-319-17822-6_3]

BACK TO INDEX