Peter Koepke

Peter Koepke

Rheinische Friedrich Wilhelms Universität Bonn - Bonn / Germany
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1763816
University of Bonn
person_outline Peter Koepke's MOST POPULAR ARTICLES
1-) Turing computations on ordinalsP KoepkeBulletin of Symbolic Logic 11 (3), 377-397, 20051112005
2-) The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts.M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J VeldmanCNL 5972, 170-186, 2009762009
3-) Ordinal machines and admissible recursion theoryP Koepke, B SeyfferthAnnals of Pure and Applied Logic 160 (3), 310-318, 2009592009
4-) Ordinal computabilityP KoepkeConference on Computability in Europe, 280-289, 2009452009
5-) Register computations on ordinalsP Koepke, R SidersArchive for Mathematical Logic 47 (6), 529-548, 2008452008