Informatik-Handbuch

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationLogik
Publication statusPublished - 1 Jan 2002
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

By the same authors

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 journal › Article › peer-review

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 journal › Article › peer-review

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 proceeding › Conference contribution

The Ho-Zhao problem

Achim Jung, 17 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 19 p., 7.

Research output: Contribution to journal › Article › peer-review