Search results
From MaRDI portal
- 1965-01-01 Paper A rudimentary definition of addition 1965-01-01 Paper PREDICTABLY COMPUTABLE FUNCTIONALS AND DEFINITION BY RECURSION 1964-01-01 Paper Finite...10 bytes (15 words) - 08:22, 25 September 2023
- Automata 1966-01-01 Paper PREDICTABLY COMPUTABLE FUNCTIONALS AND DEFINITION BY RECURSION 1964-01-01 Paper Constructive Versions of Ordinal Number Classes...10 bytes (15 words) - 07:59, 6 October 2023
- mardi4nfdi.de/entity/Q5778599 1941-01-01 Paper On the possibility of definition by recursion. 1940-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5775750 1940-01-01...10 bytes (15 words) - 07:48, 12 December 2023
- normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction 1998-11-08 Paper...10 bytes (13 words) - 10:10, 24 September 2023
- Publication Date of Publication Type Infinite Games, Inductive Definitions and Transfinite Recursion 2023-08-25 Paper A Survey of Determinacy of Infinite Games...10 bytes (13 words) - 15:54, 6 October 2023
- topological type and reconstruction by the topological recursion 2017-10-26 Paper A short overview of the "Topological recursion" 2017-10-25 Paper Toward \(\mathrm...10 bytes (13 words) - 17:12, 8 December 2023
- integers satisfying a linear recursion relation. 1931-01-01 Paper Some arithmetical properties of sequences satisfying a linear recursion relation. 1931-01-01...10 bytes (14 words) - 07:51, 12 December 2023
- 1980-01-01 Paper Recursion elimination with variable parameters 1979-01-01 Paper Improving programs by the introduction of recursion 1977-01-01 Paper Notes...10 bytes (17 words) - 14:18, 10 December 2023
- foundation for Isabelle/HOL 2019-04-29 Paper From types to sets by local type definition in higher-order logic 2019-02-18 Paper CoSMed: a confidentiality-verified...10 bytes (13 words) - 00:32, 13 December 2023
- quantum recursion schemes for quantum logarithmic-time computability 2023-06-02 Paper Between SC and LOGDCFL: families of languages accepted by polynomial-time...10 bytes (13 words) - 12:35, 7 October 2023
- of multivariate continuous functions 2013-07-08 Paper Definition of positively closed classes by endomorphism semigroups 2013-06-24 Paper Atoms of the...10 bytes (15 words) - 15:04, 9 December 2023
- Hamiltonians 2011-08-19 Paper Polynomials Defined by Three-Term Recursion Relations and Satisfying a Second Recursion Relation: Connection with Discrete Integrability...10 bytes (16 words) - 23:25, 8 December 2023
- rewriting-induction proofs 2022-08-10 Paper Transforming orthogonal inductive definition sets into confluent term rewrite systems 2022-05-25 Paper Determinization...10 bytes (13 words) - 09:46, 24 September 2023
- Paper From types to sets by local type definition in higher-order logic 2019-02-18 Paper Foundational (co)datatypes and (co)recursion for higher-order logic...10 bytes (13 words) - 17:25, 24 September 2023
- program construction by transformations-computer-aided, intuition-guided programming 1989-01-01 Paper On the algebraic definition of programming languages...10 bytes (15 words) - 07:58, 12 December 2023
- floating-point proofs layered with VST and Flocq 2021-12-02 Paper Views of Pi: definition and computation 2019-09-18 Paper CtCoq: A system presentation 2019-01-15...10 bytes (14 words) - 08:51, 6 October 2023
- Paper Infinite refinements of the discrete Jensen's inequality defined by recursion 2015-12-28 Paper https://portal.mardi4nfdi.de/entity/Q2947965 2015-09-29...10 bytes (13 words) - 23:27, 10 December 2023
- duality for topological recursion 2025-01-16 Paper Symplectic duality via log topological recursion 2024-12-06 Paper Topological recursion, symplectic duality...10 bytes (13 words) - 05:35, 9 December 2023
- 2017-03-01 Paper Towards rigorous analysis of the Levitov–Mirlin–Evers recursion 2017-02-03 Paper Constructive Liouville Conformal Field Theory 2016-11-16...10 bytes (14 words) - 20:00, 8 December 2023
- \(\theta\)- und \(\sigma\)-functions. 1899-01-01 Paper Proof of Brioschi's recursion formula for the expansion of the even \(\sigma\)-functions of two variables...10 bytes (14 words) - 11:04, 24 September 2023
