• 581
    Citaties
1993 …2022

Onderzoeksresultaten per jaar

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.
  • 1 Soortgelijke profielen

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
  • Characteristics of de Bruijn's early proof checker Automath

    Geuvers, H. (Corresponding author) & Nederpelt, R., 21 jun. 2022, In: Fundamenta Informaticae. 185, 4, blz. 313-336 24 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    28 Downloads (Pure)
  • Consistent Consequence for PBES’s

    Struijs, M. A. C., Willemse, T. A. C. (Begeleider) & Geuvers, J. H. (Begeleider), 2018, 13 blz.

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
    70 Downloads (Pure)
  • 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. (uitgave). 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. (uitgave). 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

    8 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. (uitgave). EPTCS, blz. 1-17 (Electronic Proceedings in Theoretical Computer Science; vol. 164).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review