GK
Gereon Kremer
0000-0002-0393-573932
Publications
688
Citations
11
h-index
11
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (16)
- Book Chapter (9)
- Preprint (4)
- Other (3)
Filter by Open Access Type
- Open Access (13)
- Closed Access (19)
Filter by Authors
- Gereon Kremer (32)
- Erika Ábrahám (17)
- James H. Davenport (6)
- Matthew England (6)
- Clark Barrett (5)
Filter by Topics
- Formal Methods in Verification (22)
- Logic, programming, and type systems (16)
- Polynomial and algebraic computation (11)
- Logic, Reasoning, and Knowledge (6)
- Software Testing and Debugging Techniques (4)