The following pages link to Herman Geuvers (Q235622):
Displaying 10 items.
- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description (Q5495943) (← links)
- Automated Machine-Checked Hybrid System Safety Proofs (Q5747654) (← links)
- From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions (Q5756722) (← links)
- Mathematical Knowledge Management (Q5898528) (← links)
- Rewriting Techniques and Applications (Q5901566) (← links)
- Proof by computation in the Coq system (Q5958299) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
- Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888) (← links)
- Congruence types (Q6560160) (← links)
- Classical natural deduction from truth tables (Q6643028) (← links)