Paper detail

Paper is temporarily recovering

The catalog read path is recovering after the large arXiv import. This page did not return detailed paper data fast enough, so the request was stopped instead of hanging.

Search the catalog
A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions | BZPEER