搜索页_recursion+on+notation

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(14)

在“Elsevier电子期刊”中，命中：14条，耗时：小于0.01 秒

在所有数据库中总计命中：32条

1.Unbounded Recursion and Non-size-increasing Functions

作者：S. Mazzanti ^{mazzanti@iuav.it" class="auth_mail" title="E-mail the corresponding author}

关键词：recursion on notation ; logspace computable function ; polynomial time computable function

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

2.Regressive computations characterize logarithmic space

作者：Stefano Mazzanti ^{mazzanti@iuav.it" class="auth_mail" title="E-mail the corresponding author}

关键词：Logspace computable function ; Recursion on notation ; Regressive machine

刊名：Information and Computation

出版年：2016

3.Cobham recursive set functions

作者：Arnold Beckmann^a ; ¹ ; ² ; ^{a.beckmann@swansea.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Sam Buss^b ; ¹ ; ³ ; ^{sbuss@ucsd.edu" class="auth_mail" title="E-mail the corresponding author} ; Sy-David Friedman^c ; ¹ ; ⁴ ; ^{sdf@logic.univie.ac.at" class="auth_mail" title="E-mail the corresponding author} ; Moritz Mü ; ller^c ; ¹ ; ^{moritz.mueller@univie.ac.at" class="auth_mail" title="E-mail the corresponding author} ; Neil Thapen^d ; ¹ ; ⁵ ; ^{thapen@math.cas.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：03D15 ; 03D20 ; 03E99 ; 68Q15

刊名：Annals of Pure and Applied Logic

出版年：2016

4.Operational set theory and small large cardinals

作者：Solomon Feferman

刊名：Information and Computation

出版年：2009

5.Control structures in programs and computational complexity

作者：Niggl ; Karl-Heinz

关键词：03D15 ; 03D20 ; 68N15 ; 68N18 ; 68N30 ; 68Q15 ; 68Q17 ; 68W40 ; 03-02 ; Implicit computational complexity ; Imperative programming languages ; Grzegorczyk hierarchy ; Higher type recursion ; Lambda calculus ; Polynomial time

刊名：Annals of Pure and Applied Logic

出版年：2005

6.Practical Datatype Specializations with Phantom Types and Recursion Schemes

作者：Matthew Fluet ; Riccardo Pucella

关键词：data types and structures ; invariants

刊名：Electronic Notes in Theoretical Computer Science

出版年：2006

7.Notations for exponentiation

作者：Beckmann ; Arnold

关键词：03D15 ; 68Q19 ; 03F25 ; Exponentiation ; Polynomial time computable ; Course of value recursion ; Exponential notations ; Weak arithmetic ; Consistency

刊名：Theoretical Computer Science

出版年：2002

8.Higher type recursion, ramification and polynomial time

作者：Bellantoni ; Stephen J. ; Niggl ; Karl-Heinz ; et. al.

关键词：03D15 ; 03D20 ; 68Q15 ; 68Q42 ; 68N15 ; 03F03 ; 03F10 ; 03F35 ; Higher type recursion ; Lambda calculus ; Normalisation ; Ramified recursion ; Polynomial time

刊名：Annals of Pure and Applied Logic

出版年：2000

9.Safe recursion with higher types and BCK-algebra

作者：Hofmann ; Martin

关键词：68Q55 ; 03D15 ; 03D65 ; Type systems ; Polynomial time ; Realisability

刊名：Annals of Pure and Applied Logic

出版年：2000

10.Characterizing polytime through higher type recursion

作者：Karl-Heinz Niggl

刊名：Electronic Notes in Theoretical Computer Science

出版年：2000

按检索点细分(14)

关键词(3)

文摘(11)

按出版年细分(14)

2016年(3)

2009年(1)

2006年(1)

2005年(1)

2002年(1)

2001年(1)

2000年(3)

2000年及以前(3)