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

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.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • 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

    2 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

  • 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. (eds.). Berlin: Springer, p. 435-439 (Lecture Notes in Computer Science; vol. 8543).

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

    12 Citations (Scopus)
  • Type theory and formal proof : an introduction

    Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.

    Research output: Book/ReportBookAcademic

    12 Citations (Scopus)
If you made any changes in Pure these will be visible here soon.