On tiered small jump operators-Reference-Cited by-同舟云学术

On tiered small jump operators

Published:2009-03-31 Issue:1 Volume:5 Page:
ISSN:1860-5974
Container-title:Logical Methods in Computer Science
language:en
Short-container-title:Log.Meth.Comput.Sci.

Author:

Marion Jean-Yves

Publisher

Centre pour la Communication Scientifique Directe (CCSD)

Subject

General Computer Science,Theoretical Computer Science

Reference18 articles.

1. Zum Hilbertschen Aufbau der reellen Zahlen

2. A. Beckmann and A. Weiermann. Characterizing the elementary recursive functions by a fragment of Gödel's T.Archive for Mathematical Logic, 1996. to appear.

3. A new recursion-theoretic characterization of the polytime functions

4. Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited

5. Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, and Isabel Oitavem. Recursion schemata for nck. In Michael Kaminski and Simone Martini, editors,22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, volume 5213, pages 49-63, Italie Bertinoro, 2008. Springer.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Two function algebras defining functions in NCk boolean circuits;Information and Computation;2016-06

2. A new order-theoretic characterisation of the polytime computable functions;Theoretical Computer Science;2015-06

3. A New Order-Theoretic Characterisation of the Polytime Computable Functions;Programming Languages and Systems;2012

4. A Type System for Complexity Flow Analysis;2011 IEEE 26th Annual Symposium on Logic in Computer Science;2011-06