Recursive Functions

234 books
Computability and logicGeorge Boolos
⏱ 5h 4m

Computability and logic

George Boolos

1974304 pp.
Aufzählbarkeit, Entscheidbarkeit, BerechenbarkeitHans Hermes
⏱ 4h 6m

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Hans Hermes

1961246 pp.
Rekursive FunktionenRózsa Péter
⏱ 5h 0m

Rekursive Funktionen

Rózsa Péter

1951300 pp.
Theory of Formal SystemsRaymond M. Smullyan
⏱ 2h 32m

Theory of Formal Systems

Raymond M. Smullyan

1961152 pp.
Computability & unsolvabilityDavis, Martin
⏱ 3h 30m

Computability & unsolvability

Davis, Martin

1958210 pp.
Recursive macroeconomic theoryLars Ljungqvist
⏱ 20h 40m

Recursive macroeconomic theory

Lars Ljungqvist

20001240 pp.
Die iterationenLadislaus von Bortkiewicz
⏱ 3h 25m

Die iterationen

Ladislaus von Bortkiewicz

1917205 pp.
Theory of recursive functions and effective computabilityHartley Rogers
⏱ 8h 2m

Theory of recursive functions and effective computability

Hartley Rogers

1957482 pp.
RecursivenessSamuel Eilenberg
⏱ 1h 29m

Recursiveness

Samuel Eilenberg

197089 pp.
Linear recurrence relations over finite fieldsErnst S. Selmer
⏱ 3h 32m

Linear recurrence relations over finite fields

Ernst S. Selmer

1966212 pp.
Quotient-difference type generalizations of the power method and their analysisAvram Sidi
⏱ 16m

Quotient-difference type generalizations of the power method and their analysis

Avram Sidi

198916 pp.
The calculi of lambda-conversionAlonzo Church
⏱ 1h 20m

The calculi of lambda-conversion

Alonzo Church

194180 pp.
Recursive algorithmsRichard Lorentz
⏱ 3h 12m

Recursive algorithms

Richard Lorentz

1994192 pp.
Theory of recursive functions and effective computabilityH. Rogers
⏱ 8h 2m

Theory of recursive functions and effective computability

H. Rogers

1957482 pp.
Recursive least-squares smoothing with constant or factorial weightsBishop, Chester Oliver Jr.
⏱ 31m

Recursive least-squares smoothing with constant or factorial weights

Bishop, Chester Oliver Jr.

196731 pp.
Computability and continuity in finite typesJ. A. Bergstra
⏱ 3h 4m

Computability and continuity in finite types

J. A. Bergstra

1951184 pp.
Enumerability, Decidability, ComputabilityHans Hermes
⏱ 4h 10m

Enumerability, Decidability, Computability

Hans Hermes

1965250 pp.
Reflexive StructuresLuis E. Sanchis
⏱ 3h 53m

Reflexive Structures

Luis E. Sanchis

1988233 pp.
The foundations of intuitionistic mathematicsStephen Cole Kleene
⏱ 3h 26m

The foundations of intuitionistic mathematics

Stephen Cole Kleene

1965206 pp.
Recursivity and ContingencyYuk Hui
⏱ 5h 36m

Recursivity and Contingency

Yuk Hui

2019336 pp.
Page 1 of 12Next →