Journal of Applied Logic, 1570-8683

Journal

Publications

  1. 2014
  2. Published

    Continuity and Geometric Logic

    Steven Vickers, Mar 2014, In: Journal of Applied Logic. 12, 1, p. 14-27 14 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2008
  4. Published

    Combined reasoning by automated cooperation

    Volker Sorge & Manfred Kerber, 1 Sep 2008, In: Journal of Applied Logic. 6, 3, p. 318-342 25 p.

    Research output: Contribution to journalArticle