Journal of Automated Reasoning, 0168-7433

Journal

Publications

  1. 2020
  2. Published

    From QBFs to MALL and back via focussing

    Anupam Das, Oct 2020, In : Journal of Automated Reasoning. 64, 7, p. 1221-1245 25 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2019
  4. Published

    From signatures to monads in UniMath

    Benedikt Ahrens, 15 Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 285-318 34 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2008
  6. Published

    Automatic construction and verification of isotopy invariants

    Volker Sorge, 1 Mar 2008, In : Journal of Automated Reasoning. 40, 2-3, p. 221-243 23 p.

    Research output: Contribution to journalArticlepeer-review

  7. 2006
  8. Published

    Applying SAT Solving in Classification of Finite Algebras

    Volker Sorge, 5 Oct 2006, In : Journal of Automated Reasoning. 35, 1-3, p. 201-235 35 p.

    Research output: Contribution to journalArticle