Artikler med mandater om offentlig tilgang - Herman GeuversLes mer
Tilgjengelige et eller annet sted: 12
Automation of higher-order logic
C Benzmüller, D Miller
Handbook of the History of Logic 9, 215-254, 2014
Mandater: German Research Foundation, European Commission
Diaframe: automated verification of fine-grained concurrent programs in Iris
I Mulder, R Krebbers, H Geuvers
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Mandater: Netherlands Organisation for Scientific Research
The tactician: A seamless, interactive tactic learner and prover for coq
L Blaauwbroek, J Urban, H Geuvers
International Conference on Intelligent Computer Mathematics, 271-277, 2020
Mandater: European Commission
Finite sets in homotopy type theory
D Frumin, H Geuvers, L Gondelman, N Weide
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
Mandater: Netherlands Organisation for Scientific Research
Type theory based on dependent inductive and coinductive types
H Basold, H Geuvers
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandater: Netherlands Organisation for Scientific Research
Strong normalization for truth table natural deduction
H Geuvers, I van der Giessen, T Hurkens
Fundamenta Informaticae 170 (1-3), 139-176, 2019
Mandater: Netherlands Organisation for Scientific Research, European Commission
The construction of set-truncated higher inductive types
N van der Weide, H Geuvers
Electronic Notes in Theoretical Computer Science 347, 261-280, 2019
Mandater: European Commission
Permutability in proof terms for intuitionistic sequent calculus with cuts
J Espírito Santo, MJ Frade, LF Pinto
Schloss Dagstuhl–Leibniz-Zentrum für Informatik GmbH, 2018
Mandater: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
Hashing Modulo Context-Sensitive 𝛼-Equivalence
L Blaauwbroek, M Olšák, H Geuvers
Proceedings of the ACM on Programming Languages 8 (PLDI), 2027-2050, 2024
Mandater: European Commission
A formalisation of consistent consequence for boolean equation systems
M van Delft, H Geuvers, TAC Willemse
International Conference on Interactive Theorem Proving, 462-478, 2017
Mandater: European Commission
ITP Automation in Practice: A User Study on Tactician
L Blaauwbroek, JH Geuvers
Aussois: AITP, 2021
Mandater: European Commission
The European research network on types for programming and verification
H Geuvers
Impact 2017 (5), 81-83, 2017
Mandater: European Commission
Informasjon om publisering og finansiering fastsettes automatisk av et datamaskinprogram