Achim Jung

Publications

  1. 2019
  2. Published

    Quotients of d-Frames

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

    Research output: Contribution to journalArticle

  3. 2018
  4. E-pub ahead of print

    Non-involutive twist-structures

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

    Research output: Contribution to journalArticle

  5. Published

    From the Chinese room argument to the Church-Turing thesis

    Petters, D. & 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

  6. Accepted/In press

    A dichotomy result for locally compact sober dcpos

    Jia, X., Achim Jung & Li, Q., 9 Feb 2018, (Accepted/In press) In : Houston Journal of Mathematics. 15 p.

    Research output: Contribution to journalArticle

  7. Published

    The Ho Zhao Problem

    Ho, W. K., Goubault-Larrecq, J., Achim Jung & Xi, X., 17 Jan 2018, In : Logical Methods in Computer Science. 14, 1, 19 p., 7.

    Research output: Contribution to journalArticle

  8. 2017
  9. Published

    Diagrammatic Semantics for Digital Circuits

    Dan Ghica, Achim Jung & Lopez, A., 1 Sep 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, Vol. 82. p. 24:1-24:16 16 p. 24. (Leibniz International Proceedings in Informatics; vol. 82).

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

  10. Published

    Free constructions and coproducts of d-frames

    Jakl, T. & Achim Jung, 12 Jun 2017, Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Bonchi, F. & König, B. (eds.). Schloss Dagstuhl, p. 14:1-14:15 18 p. (LIPIcs: Leibniz International Proceedings in Informatics; vol. 72).

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

  11. 2016
  12. Published

    Bitopology and four-valued logic

    Jakl, T., Achim Jung & Pultr, A., 7 Oct 2016, 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. Birkedal, L. & Mislove, M. (eds.). Elsevier, Vol. 325. p. 201-219 18 p. (Electronic Notes in Theoretical Computer Science).

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

  13. Published

    Categorical Semantics of Digital Circuits

    Dan Ghica & Achim Jung, 3 Oct 2016, Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, p. 41-48 8 p.

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

  14. Published

    A note on coherence of dcpos

    Jia, X., Achim Jung & Li, Q., 15 Aug 2016, In : Topology and its Applications. 209, p. 235-238 4 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 Next