Search results
From MaRDI portal
- Paper On Closed Classes of Primitive Recursive Functions, II 2004-02-08 Paper On Closed Classes of Primitive Recursive Functions, II 2003-07-15 Paper https://portal...10 bytes (15 words) - 20:08, 24 September 2023
- Paper Bounded iteration and unary functions 2005-02-16 Paper Plain bases for classes of primitive recursive functions 2003-08-24 Paper Cantor diagrams:...10 bytes (15 words) - 08:39, 9 December 2023
- Undecidability of Algebraic Rings and Fields 1959-01-01 Paper A Note on Primitive Recursive Functions 1955-01-01 Paper Existential Definability in Arithmetic 1952-01-01...10 bytes (15 words) - 08:59, 24 September 2023
- simple reversible language 2020-04-21 Paper A class of recursive permutations which is primitive recursive complete 2020-04-21 Paper QPCF: higher-order languages...10 bytes (14 words) - 15:22, 6 October 2023
- mardi4nfdi.de/entity/Q5150148 2021-02-09 Paper A class of recursive permutations which is primitive recursive complete 2020-04-21 Paper QPCF: higher-order languages...10 bytes (13 words) - 09:18, 7 October 2023
- the primitive recursive functions without repetition 1960-01-01 Paper An example of general recursive well-ordering which is not primitive recursive 1960-01-01...10 bytes (15 words) - 22:16, 12 December 2023
- simple reversible language 2020-04-21 Paper A class of recursive permutations which is primitive recursive complete 2020-04-21 Paper A Certified Study of a Reversible...10 bytes (13 words) - 09:18, 7 October 2023
- systems and primitive recursion 2001-07-02 Paper Ordinal recursive bounds for Higman's theorem 1998-08-13 Paper Term rewriting theory for the primitive recursive...10 bytes (15 words) - 21:56, 24 September 2023
- Paper Primitive recursive ordinal functions with added constants 1977-01-01 Paper A Hierarchy on the Class of Primitive Recursive Ordinal Functions 1976-01-01...10 bytes (15 words) - 09:06, 24 September 2023
- Date of Publication Type Equivalence of some Hierarchies of Primitive Recursive Functions 1979-01-01 Paper Theoretical and Applied Computer Science: Antagonism...10 bytes (13 words) - 09:05, 6 October 2023
- UU-algorithm for primitive recursive tree functions 2022-12-09 Paper A strict border for the decidability of E-unification for recursive functions 2017-01-19...10 bytes (13 words) - 10:17, 24 September 2023
- Date of Publication Type A classification of the one-argument primitive recursive functions 1983-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3872439...10 bytes (13 words) - 12:13, 6 October 2023
- Publication Date of Publication Type On primitive recursive functions of a single argument 1970-01-01 Paper...10 bytes (15 words) - 11:18, 7 October 2023
- Publication Date of Publication Type A Macro Program for the Primitive Recursive Functions 1992-06-26 Paper...10 bytes (15 words) - 19:13, 26 December 2023
- Permutations not Conjugate by a Primitive Recursive Permutation 1971-01-01 Paper On primitive recursive permutations and their inverses 1969-01-01 Paper The...10 bytes (13 words) - 09:31, 24 September 2023
- Paper A note on the degree structure of primitive recursive m-reducibility 2023-11-26 Paper Primitive recursive reverse mathematics 2023-10-12 Paper On...10 bytes (14 words) - 17:02, 11 December 2023
- rewriting theory for the primitive recursive functions 1997-09-29 Paper A term rewriting characterization of the polytime functions and related complexity...10 bytes (13 words) - 11:41, 28 January 2024
- 2020-05-26 Paper Finitism, imperative programs and primitive recursion 2020-05-06 Paper Primitive recursion in the abstract 2020-03-11 Paper A generic...10 bytes (15 words) - 23:37, 24 September 2023
- Extended Frege Proofs 2017-07-13 Paper Cobham recursive set functions 2016-01-12 Paper SAFE RECURSIVE SET FUNCTIONS 2015-11-09 Paper Separating intermediate...10 bytes (14 words) - 07:53, 7 October 2023
- unary recursive functions 2017-02-09 Paper On maximal subgroups of the group of recursive permutations 2016-11-22 Paper On elementary word functions obtained...10 bytes (15 words) - 15:04, 9 December 2023
