Papers by S. Bellantoni and S. Cook and by A. Beckmann and A. Weiermann

Bulletin of Symbolic Logic 6 (3):351-352 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/421064

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A term rewriting characterization of the polytime functions and related complexity classes.Arnold Beckmann & Andreas Weiermann - 1996 - Archive for Mathematical Logic 36 (1):11-30.
REVIEWS-Three papers.A. Weiermann & Georg Moser - 2004 - Bulletin of Symbolic Logic 10 (4):588-589.
Analyzing Godel's T Via Expanded Head Reduction Trees.Arnold Beckmann & Andreas Weiermann - 2000 - Mathematical Logic Quarterly 46 (4):517-536.
Characterising polytime through higher type recursion.Stephen J. Bellantoni, Karl-Heinz Niggl & Helmut Schwichtenberg - 2000 - Annals of Pure and Applied Logic 104 (1-3):17-30.
Wissen und Verantwortung: Festschrift für Jan P. Beckmann.Jan Peter Beckmann, Thomas Keutner, Roman Oeffner & Hajo Schmidt (eds.) - 2005 - Freiburg: Alber.
mathrm {K} $-H. Niggl, and H. Schwichtenberg. Higher type recursion, ramification and polynomial time.S. J. Bellantoni - 2000 - Annals of Pure and Applied Logic 104 (1-3):17-30.
Higher type recursion, ramification and polynomial time.Stephen J. Bellantoni, Karl-Heinz Niggl & Helmut Schwichtenberg - 2000 - Annals of Pure and Applied Logic 104 (1-3):17-30.
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.Martin Hofmann - 1997 - Bulletin of Symbolic Logic 3 (4):469-486.
2002 european summer meeting of the association for symbolic logic logic colloquium'02.Lev D. Beklemishev, Stephen Cook, Olivier Lessmann, Simon Thomas, Jeremy Avigad, Arnold Beckmann, Tim Carlson, Robert L. Constable & Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (1):71.
Statement and inference, with other philosophical papers.John Cook Wilson - 1926 - Oxford,: Clarendon P.. Edited by A. S. L. Farquharson.
Not quite all you wanted to know about classics in cell biology.Peter R. Cook - 2001 - Bioessays 23 (8):759-759.
The triple helix: the soul of bioethics.Lisa Bellantoni - 2011 - New York, NY: Palgrave-Macmillan.
Kant on the Paradox of Self-Love.Lisa Bellantoni - 1996 - Southwest Philosophy Review 12 (2):123-131.
A uniform approach for characterizing the provably total number-theoretic functions of KPM and its subsystems.Benjamin Blankertz & Andreas Weiermann - 1999 - Studia Logica 62 (3):399-427.

Analytics

Added to PP
2014-03-26

Downloads
4 (#1,599,757)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references