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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop J.H. (Herman) Geuvers actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

A formalisation of consistent consequence for boolean equation systems

van Delft, M., Geuvers, H. & Willemse, T. A. C., 2017, Interactive theorem proving - 8th International Conference, ITP 2017,Proceedings. Ayala-Rincón, M. & Muñoz, C. A. (redactie). Springer, blz. 462-478 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10499).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Downloads (Pure)

    Deriving natural deduction rules from truth tables

    Geuvers, H. & Hurkens, T., 1 jan 2017, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings. Ghosh, S. & Prasad, S. (redactie). Berlin: Springer, blz. 123-138 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10119 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Citaat (Scopus)

    A type system for continuation calculus

    Geuvers, J. H., Geraedts, W., Geron, B. & Stegeren, van, J., 2014, Fifth International Workshop on Classical Logic and Computation (Vienna, Austria, July 13, 2014). Oliva, P. (redactie). EPTCS, blz. 1-17 (Electronic Proceedings in Theoretical Computer Science; vol. 164).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Developing corpus-based translation methods between informal and formal mathematics : project description

    Kaliszyk, C., Urban, J., Vyskocil, J. & Geuvers, J. H., 2014, Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings). Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (redactie). Berlin: Springer, blz. 435-439 (Lecture Notes in Computer Science; vol. 8543).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 12 Citaten (Scopus)

    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)

    Cursussen

    Knipsels

    Introduction to Type Theory.pdf

    J.H. Geuvers

    13/05/18

    1 item van Media-aandacht

    Pers / media: Vakinhoudelijk commentaar

    Scriptie

    A Coq module for natural logic

    Auteur: Huijben, R., 31 aug 2013

    Begeleider: Geuvers, J. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    Continuation calculus

    Auteur: Geron, B., 31 aug 2013

    Begeleider: Geuvers, J. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    Development of a mathematical article browser based on type theory

    Auteur: Albers, F., 31 jul 1999

    Begeleider: Hemerik, C. (Afstudeerdocent 1) & Geuvers, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Formally proving the correctness of functional programs: a comparison of different methods in the proof assistant CoQ

    Auteur: Saidi, S., 31 aug 2010

    Begeleider: Geuvers, J. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand

    Hypermaps and their use in the formalized four-colour theorem proof

    Auteur: Heemstra, J. H., 4 jul 2018

    Begeleider: Geuvers, J. (Afstudeerdocent 1) & Pendavingh, R. (Afstudeerdocent 2)

    Scriptie/masterproef: Bachelor

    Bestand