• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Boek

A modern perspective on type theory : from its origins until today

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2005, Dordrecht: Kluwer Academic Publishers. 357 blz. (Applied logic series. APLS; vol. 29)

Onderzoeksoutput: Boek/rapportBoekAcademic

De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2004, London: King's College Publications. 410 blz. (Texts in computing; vol. 3)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Modeling and analysis of communicating systems

Groote, J. F. & Mousavi, M. R., 2014, London: MIT Press. 376 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Process algebra : equational theories of communicating processes

Baeten, J. C. M., Basten, T. & Reniers, M. A., 2010, Cambridge: Cambridge University Press. 460 blz. (Cambridge tracts in theoretical computer science; vol. 50)

Onderzoeksoutput: Boek/rapportBoekAcademic

Process algebra with timing

Baeten, J. C. M. & Middelburg, C. A., 2002, Berlin: Springer. 287 blz. (Monographs in theoretical computer science)

Onderzoeksoutput: Boek/rapportBoekAcademic

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

11 Citaten (Scopus)