Benjamin Seyfferth

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Qualitative Decision Theory

Tree Structures

Multiple Representations

Top Venues

Publications

Tim Fischbach, Benjamin Seyfferth
On λ-Definable Functions on Ordinals. CiE (2013)
Philipp Schlicht, Benjamin Seyfferth
Tree Representations via Ordinal Machines. Comput. 1 (1) (2012)
Peter Koepke, Benjamin Seyfferth
Towards a Theory of Infinite Time Blum-Shub-Smale Machines. CiE (2012)
Peter Koepke, Benjamin Seyfferth
Ordinal machines and admissible recursion theory. Ann. Pure Appl. Log. 160 (3) (2009)