Achim Jung

Publications

  1. Article › Research › Peer-reviewed
  2. 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

  3. Published

    A note on coherence of dcpos

    Achim Jung, 15 Aug 2016, In : Topology and its Applications. 209, p. 235-238 4 p.

    Research output: Contribution to journalArticle

  4. Published

    All cartesian closed categories of quasicontinuous domains consist of domains

    Achim Jung, 23 Aug 2015, In : Theoretical Computer Science. 594, p. 143-150 9 p.

    Research output: Contribution to journalArticle

  5. Published

    Convergence of preference functions

    Achim Jung & Jon Rowe, 3 Jun 2013, In : Theoretical Computer Science. 488, p. 66-77

    Research output: Contribution to journalArticle

  6. Published

    Four-valued modal logic: Kripke semantics and duality

    Umberto Rivieccio, Achim Jung, 15 Jun 2015, In : Journal of Logic and Computation. 43 p.

    Research output: Contribution to journalArticle

  7. 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

  8. Published

    On a categorical framework for coalgebraic modal logic

    Achim Jung, 29 Oct 2014, In : Electronic Notes in Theoretical Computer Science. 308, p. 109-128

    Research output: Contribution to journalArticle

  9. Published

    Priestley duality for bilattices

    Achim Jung & Umberto Rivieccio, Apr 2012, In : Studia Logica. 100, 1-2, p. 223-252 30 p.

    Research output: Contribution to journalArticle

  10. 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

  11. 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