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 journalArticlepeer-review

  6. Published

    A duality for two-sorted lattices

    Umberto Rivieccio & Achim Jung, 5 Jan 2021, In: Soft Computing. 25, 2, p. 851–868

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A logic for probabilities in semantics

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

    Research output: Contribution to conference (unpublished)Paper

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

  9. 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 journalArticlepeer-review

  10. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 Next