Search results
From MaRDI portal
- combinatorial selector sets 2002-06-02 Paper On reducibility of partial recursive functions 2001-06-10 Paper Weakly implicatively selective sets of dimension...10 bytes (18 words) - 15:18, 8 December 2023
- types of partial recursive functions 1996-09-03 Paper A universal partial recursive function 1992-06-25 Paper Types of resemblance and of recursive isomorphism...10 bytes (18 words) - 21:59, 24 September 2023
- Type Domains of \(t\)-functions 2004-11-15 Paper On resemblance and recursive isomorphism types of bounded partial recursive functions 2000-08-30 Paper On...10 bytes (19 words) - 16:12, 24 September 2023
- 1978-01-01 Paper On the sequential nature of functions 1976-01-01 Paper Complexity classes of partial recursive functions 1974-01-01 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 23:42, 12 December 2023
- Publication Date of Publication Type Aggregating inductive expertise on partial recursive functions 1992-06-28 Paper...10 bytes (18 words) - 12:07, 24 September 2023
- Publication Date of Publication Type On reducibility of partial recursive functions 2001-06-10 Paper...10 bytes (18 words) - 12:13, 24 September 2023
- Publication Date of Publication Type Extension of partial recursive functions and functions with a recursive graph 1969-01-01 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 07:54, 7 October 2023
- Publication Date of Publication Type On the representation of partial recursive functions as superpositions 1973-01-01 Paper On the subalgebras of R. Robinson's...10 bytes (18 words) - 14:25, 6 October 2023
- Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions 1982-01-01 Paper The independence of control structures in abstract...10 bytes (18 words) - 11:52, 24 September 2023
- on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions 1985-01-01 Paper Admissible representations of effective cpo's...10 bytes (16 words) - 10:50, 23 September 2023
- Types of Index Sets of Partial Recursive Functions 1966-01-01 Paper On Creative Sets and Indices of Partial Recursive Functions 1965-01-01 Paper Axiomatization...10 bytes (17 words) - 10:05, 24 September 2023
- mardi4nfdi.de/entity/Q3923607 1980-01-01 Paper ON LISP-REALIZATION OF PARTIAL RECURSIVE FUNCTIONS 1979-01-01 Paper ON SOME APPLICATIONS FOR STRUCTURE DIAGRAMS OF...10 bytes (16 words) - 20:10, 26 December 2023
- Paper Structure of the m-degrees of the index sets of families of partial recursive functions 1981-01-01 Paper...10 bytes (18 words) - 13:06, 7 October 2023
- of \(\omega\)-groups 1971-01-01 Paper Partial recursive functions and ω-functions 1971-01-01 Paper ω-homomorphisms and ω-groups 1971-01-01 Paper...10 bytes (18 words) - 11:42, 24 September 2023
- 2010-09-14 Paper Partial and nested recursive function definitions in higher-order logic 2010-05-26 Paper Partial Recursive Functions in Higher-Order Logic...10 bytes (16 words) - 11:26, 6 October 2023
- 1959-01-01 Paper Gödel numberings of partial recursive functions 1959-01-01 Paper Recursive Functions Over Well Ordered Partial Orderings 1959-01-01 Paper The...10 bytes (19 words) - 09:04, 7 October 2023
- a problem of Tarski 1956-01-01 Paper Effective operations on partial recursive functions 1955-01-01 Paper Creative sets 1955-01-01 Paper On the interpretation...10 bytes (18 words) - 21:38, 12 December 2023
- to regressive functions 1974-01-01 Paper Partial recursive functions and ω-functions 1971-01-01 Paper Countable vector spaces with recursive operations Part...10 bytes (20 words) - 07:17, 7 October 2023
- Paper Generating functions for permutations avoiding a consecutive pattern 2012-01-24 Paper Symmetric functions and generating functions for descents and...10 bytes (19 words) - 16:57, 9 December 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 (18 words) - 16:04, 9 December 2023
