Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Rob Nederpelt actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Onderzoeksoutput

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)

    N.G. de Bruijn’s contribution to the formalization of mathematics

    Geuvers, J. H. & Nederpelt, R. P., 2013, In : Indagationes Mathematicae. New Series. 24, 4, blz. 1034-1049 16 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 1 Citaat (Scopus)

    A history of types

    Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2012, Logic: A History of its Central Concepts. Gabbay, D. M., Pelletier, F. J. & Woods, J. (redactie). Elsevier, blz. 451-511 (Handbook of the History of Logic; vol. 11).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 1 Citaat (Scopus)

    N.G. de Bruijn (1918–2012) and his road to Automath, the earliest proof checker

    Dechesne, F. & Nederpelt, R. P., 2012, In : The Mathematical Intelligencer. 34, 4, blz. 4-11

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

    Open Access
    Bestand
  • 4 Citaten (Scopus)
    117 Downloads (Pure)

    Logical reasoning : a first course

    Nederpelt, R. P. & Kamareddine, F., 2011, 2nd rev. redactie London: King's College Publications. 386 blz. (Texts in computing; vol. 3)

    Onderzoeksoutput: Boek/rapportBoekProfessioneel

    Scriptie

    Abstract interpretation of concurrent logic programs for analysis of variable sharing

    Auteur: Dams, D., 14 dec 1994

    Begeleider: Gerth, R. T. (Externe persoon) (Afstudeerdocent 1) & Nederpelt Lazarom, R. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Analysis of a logic of authentication

    Auteur: Schumacher, H., 30 jun 1991

    Begeleider: Hammer, D. (Afstudeerdocent 1), Luit, E. (Afstudeerdocent 2) & Nederpelt Lazarom, R. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    An introduction to Automath

    Auteur: Stulemeijer, W., 2007

    Begeleider: Nederpelt Lazarom, R. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    Bewijssystemen met definities

    Auteur: Vos-Oerlemans, S., 30 nov 1993

    Begeleider: Nederpelt Lazarom, R. (Afstudeerdocent 1)

    Scriptie/masterproef: Master