Hinzen, W. (2003) Turing's Test and the Metaphysics of Body and Mind: A Note on a Lack of Implications..

In Rott, H. Horak, V. (Eds.), Possibility and Reality - Metaphysics and Logic (pp 253-266). Ontos-Verlag.

Hinzen, W. (2004) Synthetische Urteille a priori in Wittgenstein.

Zeitschrift für Philosophische Forschung, Vol. 58 (pp 1-28)

Article | UvA-DARE

Hinzen, W. (2004) Der gegenwartige Stand der Gebrauchstheorie der Bedeutung.

In Olson, Erik Fuhrmann, Andre (Eds.), Pragmatisch denken (pp 59-88). Ontos-Verlag.

Hinzen, W. (2004) Spencerism and the Causal Theory of Reference.

Technical Reports. Institute for Logic Language and Computation.

Working paper | UvA-DARE

Hinzen, W. (2004) Explaining rigidity.

Technical Reports. Institute for Logic Language and Computation.

Working paper | UvA-DARE

Hinzen, W. (2004) The mind we do not change.

Technical Reports. Institute for Logic Language and Computation.

Working paper | UvA-DARE

Hinzen, W. (2005) Review of Simon Conway Morris' Life's Solution: Inevitable Humans in a Lonely Universe [Review of: W. Hinzen (2003) Life's Solution: Inevitable Humans in a Lonely Universe].

Mind, Vol. 114 (pp 403-407)

Book/Film/Article/Exhibition review | UvA-DARE

Hinzen, W. (2005) Eine Rekonstruktion und Verteidigung von Descartes' Argument für die Existenz Gottes in Principia §§13-20.

Conceptus, Vol. 86-88 (pp 243-261)

Article | UvA-DARE

Hinzen, W. (2005) Der natürliche Mensch.

In Westermann, H. Löhrer, G. (Eds.), Philosophische Anthropologie und Lebenskunst (pp 53-80). Fink-Verlag.

Hinzen, W. (2006) Mind Design and Minimal Syntax.

Oxford University Press.

Book | UvA-DARE

Hinzen, W. (2006) The mind we do not change [Review of: E. Olsson (2006) Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi].

Cambridge studies in probability, induction, and decision theory

Book/Film/Article/Exhibition review | UvA-DARE

Hinzen, W. (2006) Context and Logical Form.

In Bouquet, P. Serafini, L. (Eds.), Perspectives on Context (pp 141-168). CSLI Publications.

Hinzen, W. (2006) Spencerism and the Causal Theory of Reference.

Biology and Philosophy, Vol. 21 (pp 71-94)

Article | https://doi.org/10.1007/s10539-005-0205-y | UvA-DARE

Hirsch, D., Yankelich, D., Felder, M., Areces, C.E. (1997) Modal logic as a software engineering tool.

In Proceedings Workshop in Formal Methods for the Design of Real-Time Systems

Hirschfeldt, D.R., Terwijn, S.A. (2008) Limit computability and constructive measure.

In Chong, C. Feng, Q. Slaman, T.A. Woodin, W.H. Yang, Y. (Eds.), Computational Prospects of Infinity. - Part II: Presented talks (pp 131-142) (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 15). World Scientific.

Hoàng, C. (2017) Latent domain models for statistical machine translation.

Thesis, fully internal | UvA-DARE

Hodkinson, I., Mikulás, Sz., Venema, Y. (2000) Axiomating complex algebras by games.

Technical Report. Institute for Logic Language and Computation.

Working paper | UvA-DARE

Hodkinson, I., Mikulás, Sz., Venema, Y. (2001) Axiomatizing complex algebras by games.

Algebra Universalis, Vol. 46 (pp 455-478)

Article | https://doi.org/10.1007/PL00000354 | UvA-DARE

Hodkinson, I., Venema, Y. (2003) Canonical varieties with no canonical axiomatisation.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Hodkinson, I., Venema, Y. (2005) Canonical varieties with no canonical axiomatisation.

Transactions of the Americal Mathematical Society, Vol. 357 (pp 4579-4605)

Article | https://doi.org/10.1090/S0002-9947-04-03743-2 | UvA-DARE