Achim Jung

Publications

  1. 2018
  2. Published

    The Ho Zhao Problem

    Achim Jung, 17 Jan 2018, In : Logical Methods in Computer Science. 14, 1, 19 p., 7.

    Research output: Contribution to journalArticle

  3. Published

    From the Chinese room argument to the Church-Turing thesis

    Achim Jung, 6 Apr 2018, Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 25-29 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. E-pub ahead of print

    Non-involutive twist-structures

    Achim Jung, 29 Nov 2018, In : Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

    Research output: Contribution to journalArticle

  5. 2019
  6. Published

    Quotients of d-Frames

    Tomas Jakl, Achim Jung, Jun 2019, In : Applied Categorical Structures. 27, 3, p. 261-275 15 p.

    Research output: Contribution to journalArticle

  7. Published

    A dichotomy result for locally compact sober dcpos

    Achim Jung, 30 Nov 2019, In : Houston Journal of Mathematics. 45, 3, p. 935-951

    Research output: Contribution to journalArticle

Previous 1 2 3 4 Next