Logical Methods in Computer Science

Journal

Publications

  1. 2020
  2. Published

    Towards a Minimal Stabilizer ZX-calculus

    Miriam Backens, 22 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 19:1-19:30

    Research output: Contribution to journalArticlepeer-review

  3. Published

    On the logical complexity of cyclic arithmetic

    Anupam Das, 6 Jan 2020, In: Logical Methods in Computer Science. 16, 1, p. 1:1 - 1:39 39 p., 4818.

    Research output: Contribution to journalArticlepeer-review

  4. 2019
  5. Published

    The dynamic geometry of interaction machine: a token-guided graph rewriter

    Koko Muroya & Dan Ghica, 30 Oct 2019, In: Logical Methods in Computer Science. 15, 4, 32 p., 4340.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Coherence for Frobenius pseudomonoids and the geometry of linear proofs

    Jamie Vicary, 26 Jul 2019, In: Logical Methods in Computer Science. 15, 3

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Initial semantics for reduction rules

    Benedikt Ahrens, 21 Mar 2019, In: Logical Methods in Computer Science. 15, 1, p. 28:1-28:45 45 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Displayed Categories

    Benedikt Ahrens, 5 Mar 2019, In: Logical Methods in Computer Science. 15, 1, 18 p., 20.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 5 Feb 2019, In: Logical Methods in Computer Science. 15, 1, p. 9:1-9:23 23 p., 9.

    Research output: Contribution to journalArticlepeer-review

  10. 2018
  11. Published

    Categorical structures for type theory in univalent foundations

    Benedikt Ahrens, 11 Sep 2018, In: Logical Methods in Computer Science. 14, 3, 18 p., 18.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    A Ghost at ω1

    Paul Levy, 26 Jul 2018, In: Logical Methods in Computer Science. 14, 3, 27 p., 4714.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Globular: an online proof assistant for higher-dimensional rewriting

    Jamie Vicary, 22 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 16 p., 8.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next