• 560
    Citations
1993 …2022

Content available in repository

If you made any changes in Pure these will be visible here soon.

Network

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. & Nederpelt, R., 2022, In: Fundamenta Informaticae. 185, 4, p. 313-336 24 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • Consistent Consequence for PBES’s

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

    Research output: Book/ReportReportAcademic

    Open Access
    File
    1 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

    6 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