Peter Koepke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
3
Active years
2005–2025
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | A Natural Language Formalization of Perfectoid Rings in ℕaproche. | Peter Koepke |
| 2021 | CADE | The Isabelle/Naproche Natural Language Proof Assistant. | Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schtz, Makarius Wenzel |
| 2021 | ITP | A Natural Formalization of the Mutilated Checkerboard Problem in Naproche. | Adrian De Lon, Peter Koepke, Anton Lorenzen |
| 2012 | CiE | Towards a Theory of Infinite Time Blum-Shub-Smale Machines. | Peter Koepke, Benjamin Seyfferth |
| 2011 | CiE | A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0. | Peter Koepke, Philip D. Welch |
| 2010 | CADE | Premise Selection in the Naproche System. | Marcos Cramer, Peter Koepke, Daniel Khlwein, Bernhard Schrder |
| 2009 | CiE | Ordinal Computability. | Peter Koepke |
| 2008 | CiE | An Enhanced Theory of Infinite Time Register Machines. | Peter Koepke, Russell G. Miller |
| 2006 | CiE | Infinite Time Register Machines. | Peter Koepke |
| 2005 | CiE | Computing a Model of Set Theory. | Peter Koepke |