• 595
    Citations - based on content available in repository [source: Scopus]
1993 …2022

Content available in repository

Fingerprint

Dive into the research topics where J.H. (Herman) Geuvers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Characteristics of de Bruijn's early proof checker Automath

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

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    23 Downloads (Pure)
  • Consistent Consequence for PBES’s

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

    Research output: Book/ReportReportAcademic

    Open Access
    File
    84 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. (eds.). Springer, p. 462-478 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10499).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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. (eds.). Berlin: Springer, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10119 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (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. (ed.). EPTCS, p. 1-17 (Electronic Proceedings in Theoretical Computer Science; vol. 164).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review