- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Geuvers, H."
Now showing items 1-50 of 85
-
The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq Blaauwbroek, L.; Urban, J.; Geuvers, H.2020, Article in monograph or in proceedings (Benzmüller, C. (ed.), Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, pp. 271-277) -
Tactic Learning and Proving for the Coq Proof Assistant Blaauwbroek, L.; Urban, J.; Geuvers, H.2020, Article in monograph or in proceedings (Albert, E. (ed.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 138-150) -
Computer Assisted Mathematical Proofs: using the computer to verify computers 2019, Part of book or chapter of book (Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 18)
-
FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany 2019, Article in monograph or in proceedings (Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 1:1-34:18)
-
Strong Normalization for Truth Table Natural Deduction Geuvers, H. ; Giessen, I. van der; Hurkens, Tonny; Altenkirch, T.; Schubert, A.2019, Article / Letter to editor (Fundamenta Informaticae, vol. 170, iss. 1-3, (2019), pp. 139-176) -
The Construction of Set-Truncated Higher Inductive Types Weide, N.M. van der; Geuvers, H.2019, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 347, (2019), pp. 261-280)
-
TYPES 2016: 22nd International Conference on Types for Proofs and Programs, May 23-26, 2016 - Novi Sad, Serbia Ghilezan, S.; Geuvers, H. ; Ivetic, J.2018, Book (monograph)
-
Finite sets in homotopy type theory Frumin, D.; Geuvers, H. ; Gondelman, L.; Weide, N.M. van der2018, Article in monograph or in proceedings (Andronick, J. (ed.), CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018, pp. 201-214)
-
Proof terms for generalized natural deduction Geuvers, H. ; Hurkens, Tonny2018, Article in monograph or in proceedings (Abel, A. (ed.), TYPES 2017: 23rd International Conference on Types for Proofs and Programs, pp. 3:1-3:39)
-
Higher Inductive Types in Programming Basold, H.; Geuvers, H. ; Weide, N.M. van der2017, Article / Letter to editor (Journal of Universal Computer Science, vol. 23, iss. 1, (2017), pp. 63-88)
-
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings Geuvers, H. ; England, M.; Hasan, O.; Rabe, F.; Teschke, O.2017, Book (monograph)
-
Deriving Natural Deduction Rules from Truth Tables 2017, Article in monograph or in proceedings (Ghosh, S.; Prasad, S. (ed.), Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 123-138)
-
A Formalisation of Consistent Consequence for Boolean Equation Systems Delft, M. van; Geuvers, H. ; Willemse, T.A.C.2017, Article in monograph or in proceedings (Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings, pp. 462-478)
-
Een wiskundig bewijs correct bewezen: De meest efficiënte manier om bollen op te stapelen (in Dutch) Wiedijk, F. ; Geuvers, H. ; Urban, J.2016, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 5/17, iss. 3, (2016), pp. 177-183)
-
Type Theory based on Dependent Inductive and Coinductive Types Basold, H.; Geuvers, Herman2016, Article in monograph or in proceedings (Koskinen, S. (ed.), LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA — July 05 - 08, 2016, pp. 327-336)
-
Type Theory based on Dependent Inductive and Coinductive Types Basold, H.; Geuvers, J.H.2016, Article in monograph or in proceedings (Ghilezan, S. (ed.), TYPES 2016 : 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia, 23-26 May 2016, pp. 21-22)
-
-
Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description Kaliszyk, C. ; Urban, J.; Vyskočil, J.; Geuvers, H.2014, Part of book or chapter of book (Watt, S.; Davenport, J.; Sexton, A. (ed.), Intelligent Computer Mathematics, pp. 435-439)
-
A type system for Continuation Calculus Geuvers, H. ; Geraedts, W.; Geron, B.; Stegeren, J. van2014, Part of book or chapter of book (Oliva, P. (ed.), Proceedings Fifth International Workshop on Classical Logic and Computation Vienna, Austria, July 13, 2014, pp. 1-17)
-
Explicit convertibility proofs in pure type systems Doorn, F. van; Geuvers, H. ; Wiedijk, F.2013, Article in monograph or in proceedings (Momiglinao, A. (ed.), LFMTP '13 : Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, September 25-27, Boston, MA, USA, pp. 25-36)
-
Continuation calculus Geron, B.; Geuvers, H.2013, Part of book or chapter of book (de'Liguoro, U. (ed.), Proceedings first workshop on control operators and their semantics eindhoven, the netherlands, june 24-25, 2013, pp. 66-85)
-
N.G. de bruijn’s contribution to the formalization of mathematics Geuvers, H. ; Nederpelt, R.2013, Article / Letter to editor (Indagationes Mathematicae. New Series, vol. 24, iss. 4, (2013), pp. 1034-1049)
-
Formal Mathematics on Display: A Wiki for Flyspeck Tankink, C. ; Kaliszyk, C. ; Urban, J.; Geuvers, H.2013, Part of book or chapter of book (Carette, J. (ed.), Intelligent Computer Mathematics, pp. 152-167)
-
Communicating formal proof : the case of Flyspeck Tankink, C. ; Kaliszyk, C. ; Urban, J.; Geuvers, H.2013, Article in monograph or in proceedings (Blazy, S. (ed.), Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 451-456)
-
The lambda mu(T)-calculus 2013, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 164, iss. 6, (2013), pp. 676-701)
-
Proceedings Fourth Workshop on Classical Logic and Computation Warwick, England, 8th July 2012 Geuvers, H. ; de'Liguoro, U.2012, Book (monograph)
-
Narrating Formal Proof (Work in Progress) 2012, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 285, (2012), pp. 71-83)
-
Multi-Output Ranking for Automated Reasoning Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H. ; Heskes, T.2011, Article in monograph or in proceedings (KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, pp. 42-51)
-
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Nijmegen, The Netherlands, August 26, 2011 Geuvers, H. ; Nadathur, G.2011, Book (monograph)
-
Semantic Graph Kernels for Automated Reasoning Tsivtsivadze, E.; Urban, J.; Geuvers, H. ; Heskes, T.2011, Article in monograph or in proceedings (Proceedings of the Eleventh SIAM International Conference on Data Mining, Mesa, Arizona, April 28 - 30, 2011, pp. 795-803)
-
The correctness of Newman’s typability algorithm and some of its extensions Geuvers, H. ; Krebbers, R.2011, Article / Letter to editor (Theoretical Computer Science, vol. 412, iss. 28, (2011), pp. 3242-3261)
-
Learning2Reason Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H. ; Heskes, T.2011, Part of book or chapter of book (Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 298-300)
-
Preface 2011, Part of book or chapter of book (Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings, pp. V-VI)
-
Levels of undecidability in rewriting Endrullis, J.; Geuvers, H. ; Simonsen, J.G.; Zantema, H.2011, Article / Letter to editor (Information and Computation, vol. 209, iss. 2, (2011), pp. 227-245)
-
A wiki for Mizar: Motivation, considerations, and initial prototype Urban, J.; Alama, J.A.; Rudnicki, P.; Geuvers, H.2010, Part of book or chapter of book (Autexier, S. (ed.), Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, pp. 455-469)
-
Automated Machine-Checked Hybrid System Safety Proofs Kaufmann, M.; Paulson, L.; Geuvers, H. ; Koprowski, A.; Synek, D.; Weegen, E.E. van der2010, Part of book or chapter of book (Interactive Theorem Proving, pp. 259-274)
-
Proviola: A tool for proof re-animation 2010, Part of book or chapter of book (Autexier, S. (ed.), Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 440-454)
-
Narrating formal proof (Work in Progress) 2010, Article in monograph or in proceedings (Aspinall, D. (ed.), Proceedings of the UITP'10, pp. 1-14)
-
Pure Type Systems without Explicit Contexts 2010, Article in monograph or in proceedings (Crary, K.; Miculan, M. (ed.), Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Edinburgh, UK, 14th July 2010, pp. 53-68)
-
Social processes, program verification and all that Asperti, A.; Geuvers, J.H. ; Raja, N.2009, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 19, iss. 5, (2009), pp. 877-896)
-
Proof Assistants: history, ideas and future 2009, Article / Letter to editor (Sadhana, vol. 34, iss. 1, (2009), pp. 3-25)
-
Introduction to Type Theory 2009, Article in monograph or in proceedings (Bove, A.; Soares Barbosa, L.; Pardo, A. (ed.), Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, pp. 1-56)
-
Logic Colloquium 2006 Cooper, S. B.; Geuvers, J.H. ; Pillay, A.; Väänänen, J. A.2009, Book editorial
-
A Logically Saturated Extension of λμ¯ μ 2009, Article in monograph or in proceedings (Carette, J.; Dixon, L.; Coen, Claudio Sacerdoti (ed.), Proceedings of 8th International Conference (MKM2009), pp. 405-421)
-
Degrees of undecidability in term rewriting Endrullis, J.; Geuvers, J.H. ; Zantema, H.2009, Article in monograph or in proceedings (Grädel, E.; Kahle, R. (ed.), Computer Science Logic, 23rd international workshop, CSL 2009, pp. 255-270)
-
-
A logical framework with explicit conversions 2008, Article in monograph or in proceedings (Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, pp. 33-47)
-
Deduction Graphs with Universal Quantification 2008, Article in monograph or in proceedings (Mackie, I.; Plump, D. (ed.), Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), pp. 93-108)
-
A Real Semantic Web for Mathematics Deserves a Real Semantics 2008, Article in monograph or in proceedings (Lange, Christoph; Schaffert, Sebastian; Skaf-Molli, Hala (ed.), SemWiki 2008 – The Wiki Way of Semantics : Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), pp. 62-66)
Now showing items 1-50 of 85
Search Repository
Browse
-
All of Repository
Upload Full Text