Herman Geuvers

Citado por

	Todos	Desde 2017
Citações	2842	718
Índice h	27	14
Índice i10	54	25

160

120

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120228 10 36 27 52 53 58 62 60 46 100 94 90 97 78 117 105 89 92 113 111 104 124 118 117 95 114 129 141 142 129 63

Acesso público

Ver tudo

7 artigos

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Josef UrbanDistinguished Researcher at Czech Technical University in PragueEmail confirmado em cvut.cz
James McKinnaHeriot-Watt University, EdinburghEmail confirmado em hw.ac.uk
hans zantemaEindhoven university of technologyEmail confirmado em tue.nl
Henk BarendregtRadboud UniversityEmail confirmado em cs.ru.nl
Cezary KaliszykUniversity of InnsbruckEmail confirmado em uibk.ac.at
Maribel FernandezProfessor of Computer Science, King's College LondonEmail confirmado em kcl.ac.uk
Luís Cruz-FilipeUniversity of Southern DenmarkEmail confirmado em imada.sdu.dk
Henning BasoldLIACS - Leiden UniversityEmail confirmado em liacs.leidenuniv.nl
Jörg EndrullisVU University AmsterdamEmail confirmado em endrullis.de
Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail confirmado em cs.ru.nl
Mark-Jan NederhofUniversity of St AndrewsEmail confirmado em st-andrews.ac.uk
aspertiUniversity of BolognaEmail confirmado em cs.unibo.it
Bas SpittersAssociate Professor, Aarhus UniversityEmail confirmado em cs.au.dk
Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenEmail confirmado em science.ru.nl
Martijn OostdijkInnoValorEmail confirmado em innovalor.nl
Carst TankinkSoftware engineer - Bol.com

Seguir

Herman Geuvers

Radboud University Nijmegen, the Netherlands

Email confirmado em cs.ru.nl - Página inicial

Type Theory Theoretical Computer Science Logic


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Logics and type systems JH Geuvers [Sl: sn], 1993	228	1993
Modular proof of strong normalization for the calculus of constructions H Geuvers, MJ Nederhof Journal of Functional Programming 1 (2), 155-189, 1991	180	1991
Proof assistants: History, ideas and future H Geuvers Sadhana 34 (1), 3-25, 2009	144	2009
Proof-Assistants Using Dependent Type Systems. H Barendregt, H Geuvers Handbook of automated reasoning 2, 1149-1238, 2001	143	2001
Selected papers on Automath RP Nederpelt, JH Geuvers, editors Roel, C De Vrijer North-Holland, 1994	131	1994
Inductive and coinductive types with iteration and recursion JH Geuvers Bastad: Chalmers University of Technology, 1992	130	1992
C-CoRN, the constructive Coq repository at Nijmegen L Cruz-Filipe, H Geuvers, F Wiedijk International Conference on Mathematical Knowledge Management, 88-103, 2004	123	2004
The Church-Rosser property for βη-reduction in typed λ-calculi JH Geuvers [Sl]: IEEE, 1992	96	1992
A short and flexible proof of strong normalization for the calculus of constructions H Geuvers International Workshop on Types for Proofs and Programs, 14-38, 1994	82	1994
Explicit substitution on the edge of strong normalization R Bloo, H Geuvers Theoretical Computer Science 211 (1-2), 375-395, 1999	79	1999
Automation of Higher-Order Logic. C Benzmüller, D Miller Computational Logic 9, 215-254, 2014	75	2014
A constructive algebraic hierarchy in Coq H Geuvers, R Pollack, F Wiedijk, J Zwanenburg Journal of Symbolic Computation 34 (4), 271-286, 2002	74	2002
Modularity of strong normalization in the algebraic-λ-cube F Barbanera, M Fernández, H Geuvers Journal of functional programming 7 (6), 613-660, 1997	66	1997
Type theory and formal proof: an introduction R Nederpelt, H Geuvers Cambridge University Press, 2014	63	2014
A constructive proof of the fundamental theorem of algebra without using the rationals H Geuvers, F Wiedijk, J Zwanenburg International Workshop on Types for Proofs and Programs, 96-111, 2000	63	2000
Modularity of strong normalization and confluence in the algebraic-/spl lambda/-cube F Barbanera, M Fernández, H Geuvers Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 406-415, 1994	60	1994
Constructive reals in Coq: Axioms and categoricity H Geuvers, M Niqui International Workshop on Types for Proofs and Programs, 79-95, 2000	52	2000
Induction is not derivable in second order dependent type theory H Geuvers International Conference on Typed Lambda Calculi and Applications, 166-181, 2001	44	2001
On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study H Geuvers, B Werner Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 320-329, 1994	41	1994
Open proofs and open terms: A basis for interactive logic H Geuvers, GI Jojgov International Workshop on Computer Science Logic, 537-552, 2002	40	2002

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores