Arve Gengelbach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2022
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITP | A Verified Cyclicity Checker: For Theories with Overloaded Constants. | Arve Gengelbach, Johannes man Pohjola |
| 2020 | ICTAC | Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. | Arve Gengelbach, Tjark Weber |
| 2020 | LPAR | A Mechanised Semantics for HOL with Ad-hoc Overloading. | Johannes man Pohjola, Arve Gengelbach |