Foto van J.H. (Herman) Geuvers

Bekijk Scopus-profiel

J.H. (Herman) Geuvers

prof.dr.

 https://orcid.org/0000-0003-2522-2980
  • 529
    Citaties
1993 …2022

Onderzoeksresultaten per jaar

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

Netwerk

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Netwerk verder verkennen

  • Characteristics of de Bruijn's early proof checker Automath

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

    Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

    Open Access
    Bestand

  • Consistent Consequence for PBES’s

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    Open Access
    Bestand
    13 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. (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/Congresprocedure › Conferentiebijdrage › Academic › peer 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    6 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

Alle bekijken 80 onderzoeksoutput