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.
  • 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

    3 Citaten (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

    12 Citaten (Scopus)
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.