You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (38)

Journals (0)

1-10 of 38 results for recursion theorem

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Representation Theorem for Primitive Recursive Algorithms

Retricted access

Research article

First published 2011-3

A Representation Theorem for Primitive Recursive Algorithms

Philippe Andary, Bruno Patrou, Pierre Valarcher

Fundamenta Informaticae

Select article: Category Theoretic Semantics for Typed Binding Signatures with Recursion

Retricted access

Research article

First published 2008-4

Category Theoretic Semantics for Typed Binding Signatures with Recursion

John Power, Miki Tanaka

Fundamenta Informaticae

Select article: ON A QUANTITATIVE NOTION OF UNIFORMITY

Retricted access

Research article

First published 1996-1

ON A QUANTITATIVE NOTION OF UNIFORMITY

Susanne Kaufmann, Martin Kummer

Fundamenta Informaticae

Select article: An Axiomatic System of Parametricity

Retricted access

Research article

First published 1998-4

An Axiomatic System of Parametricity

Izumi Takeuti

Fundamenta Informaticae

Select article: Boldface Recursion on Platek Spaces

Retricted access

Research article

First published 2000-10

Boldface Recursion on Platek Spaces

Lyubomir Ivanov

Fundamenta Informaticae

Select article: Constructive approach to limit theorems for recurrent diffusive random walks on a strip

Retricted access

Research article

First published 2021-4-7

Constructive approach to limit theorems for recurrent diffusive random walks on a strip

Dmitry Dolgopyat, Ilya Goldsheid

Asymptotic Analysis

Select article: Algorithmic Logic with Recursive Functions

Retricted access

Research article

First published 1981

Algorithmic Logic with Recursive Functions

Andrzej Szałas

Fundamenta Informaticae

Select article: Weihrauch and constructive reducibility between existence statements

Retricted access

Research article

First published 2021-1-20

Weihrauch and constructive reducibility between existence statements

Makoto Fujiwara

Computability

Select article: A note on the diamond operator

Retricted access

Research article

First published 2021-4-16

A note on the diamond operator

Linda Westrick

Computability

Select article: Punctually presented structures I: Closure theorems

Retricted access

Research article

First published 2023-12-21

Punctually presented structures I: Closure theorems

Marina Dorzhieva, Alexander Melnikov

Computability

1
2
3
4
10 / page

Article type

Publication date

Subjects

Access