Journal of Logic and Computation

Tutkimustuotokset

  1. 2015
  2. Julkaistu

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, julkaisussa : Journal of Logic and Computation. 30 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2009
  4. Julkaistu

    A Translation-based Approach to the Verification of Modular Equivalence

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 306021