Journal of Logic and Computation

Research outputs

  1. 2015
  2. Published

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, In : Journal of Logic and Computation. 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2009
  4. Published

    A Translation-based Approach to the Verification of Modular Equivalence

    Oikarinen, E. & Janhunen, T., 2009, In : Journal of Logic and Computation. 19, 4, p. 591-613

    Research output: Contribution to journalArticleScientificpeer-review

ID: 306021