„recursion theory“
Suchergebnisse
288 Treffer
-
Recursion Operators for the Guéant–Pu Model
-
Density and Baire category in recursive topology
-
On the proof theory of type two functionals based on primitive recursive operations
-
Kolmogorov complexity and set theoretical representations of integers
-
There is no safe pairing function over an arbitrary structure
-
On local non‐compactness in recursive mathematics
-
Elements of spin Hurwitz theory: closed algebraic formulas, blobbed topological recursion, and a proof of the Giacchetto–Kramer–Lewański conjecture
-
General Recursion Theory – An Axiomatic Approach
-
Recursion Theory Week – proceedings of a conference held in Oberwolfach, West Germany, April 15 - 21, 1984
-
Techniques of admissible recursion theory
-
Topological Recursion and Uncoupled BPS Structures II: Voros Symbols and the $$\tau $$ τ -Function
-
General recursion theory – an axiomatic approach
-
Kalman recursions Aggregated Online
-
Locality of Symmetries Generated by Nonhereditary, Inhomogeneous, and Time-Dependent Recursion Operators: A New Application for Formal Symmetries
-
Diagonal and Off-Diagonal Recursion Relation for the General Potential V(r) = Arp
-
Axioms for Recursion in Call-by-Value
-
Gasarch, W.I. and Martin, G.A.: Bounded Queries in Recursion Theory
-
Sometime = always + recursion ≡ always on the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
-
Predicate-transformer semantics of general recursion
-
Foundations of mathematical system dynamics – the fundamental theory of causal recursion and its application to social science and economics