GK

Gereon Kremer

0000-0002-0393-5739

32

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)