Achim Jung

Publications

  1. Published

    Preface for the special issue on domains

    Achim Jung, & , 1 Apr 2010, In: Mathematical Structures in Computer Science. 20, 2, p. 105-106 2 p.

    Research output: Contribution to journalEditorial

  2. Published

    Preface dedicated to Klaus Keimel on the occasion of his 65th birthday

    Martin Escardo, Achim Jung & , 1 Apr 2006, In: Mathematical Structures in Computer Science. 16, 2, p. 139-140 2 p.

    Research output: Contribution to journalEditorial

  3. Published

    Preface

    Martin Escardo, Achim Jung & , 12 May 2006, In: Electronic Notes in Theoretical Computer Science. 155, 1 SPEC. ISS., p. 1-3 3 p.

    Research output: Contribution to journalEditorialpeer-review

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

  5. E-pub ahead of print

    Non-involutive twist-structures

    Achim Jung, 29 Nov 2018, (E-pub ahead of print) In: Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Logik

    Achim Jung, & , 1 Jan 2006, Informatik-Handbuch (4th Edition).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Informatik-Handbuch

    Achim Jung, & , 1 Jan 2002, Logik. Vol. Chapter A1.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  9. Published

    Free constructions and coproducts of d-frames

    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

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