HB
170
Publications
5,935
Citations
34
h-index
73
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (88)
- Book Chapter (66)
- Preprint (6)
- Book (4)
- Review (4)
Filter by Open Access Type
- Open Access (72)
- Closed Access (98)
Filter by Authors
- Henk Barendregt (170)
- Wil Dekkers (21)
- Richard Statman (20)
- Fabio Giommi (11)
- Antonino Raffone (9)
Filter by Topics
- Logic, programming, and type systems (70)
- Logic, Reasoning, and Knowledge (52)
- Computability, Logic, AI Algorithms (33)
- Advanced Algebra and Logic (21)
- Formal Methods in Verification (18)