Achim Jung

Publications

  1. Published

    A Hofmann-Mislove theorem for bitopological spaces

    Achim Jung, 2 Apr 2007, p. 159-175. 17 p.

    Research output: Contribution to conference (unpublished)Paper

  2. Published

    A Hofmann–Mislove theorem for bitopological spaces

    Achim Jung, 1 Jul 2008, In : Journal of Logic and Algebraic Programming. 76, 2, p. 161-174 14 p.

    Research output: Contribution to journalArticle

  3. Published

    A Logical Approach to Stable Domains

    Achim Jung, 5 Dec 2006, In : Theoretical Computer Science. 368, 1-2, p. 124-148 25 p.

    Research output: Contribution to journalArticle

  4. Published

    A bitopological point-free approach to compactifications

    Achim Jung, 1 Aug 2011, In : Topology and its Applications. 158, 13, p. 1551-1566 16 p.

    Research output: Contribution to journalArticle

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

  6. Published

    A logic for probabilities in semantics

    Achim Jung, 1 Jan 2002, p. 216-231. 16 p.

    Research output: Contribution to conference (unpublished)Paper

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

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

  9. Published

    Berechnungsmodelle

    Achim Jung, 1 Jan 2002, Informatik-Handbuch. 3rd ed. Hanser Verlag, Chapter A2

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Berechnungsmodelle

    Achim Jung, 1 Jan 2006, Informatik-Handbuch . 4th ed. Hanser Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 Next