Sage Journals: Discover world-class research

Retricted access

Research article

First published 2022-1-12

Definitional schemes for primitive recursive and computable functions

Pace P. Nielsen

Computability

Retricted access

Research article

First published 2022-12-21

Primitive recursive equivalence relations and their primitive recursive complexity

Nikolay Bazhenov, Keng Meng Ng, Luca San Mauro [...]

Computability

Retricted access

Research article

First published 2018-12-19

Feasible set functions have small circuits

Arnold Beckmann, Sam Buss, Sy-David Friedman [...]

Computability

Retricted access

Research article

First published 2011-3

A Representation Theorem for Primitive Recursive Algorithms

Philippe Andary, Bruno Patrou, Pierre Valarcher

Fundamenta Informaticae

Free access

Research article

First published 1999-2

Primitive (Co)Recursion and Course-of-Value (Co)Iteration,Categorically

Tarmo Uustalu, Varmo Vene

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2023-1-19

Characterizing time computational complexity classes with polynomial differential equations

Riccardo Gozzi, Daniel Graça

Computability

Retricted access

Research article

First published 2019

Algorithmic Completeness of Imperative Programming Languages

Yoann Marquer

Fundamenta Informaticae

Retricted access

Research article

First published 2002-1

Recursive Calculus with Membranes

Adrian Atanasiu, Carlos Martín-Vide

Fundamenta Informaticae

Retricted access

Research article

First published 2005-7

Infinite Unfolding and Transformations of Nondeterministic Programs

Bjórn Lisper

Fundamenta Informaticae

Retricted access

Research article

First published 2018-1-16

The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis

Sam Sanders

Computability

Search results