Jump to main content

yr 〜
yr

Search results 109

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1996.<MA41-A95>
National Diet Library
  • Subject Heading帰納法. Recursion theory.

Initial algebras and terminal coalgebras : the theory of fixed points of functors

Initial algebras and terminal coalgebras : the theory of fixed points of functors
Paper図書
Jiří Adámek, Stefan Milius, Lawrence S. MossCambridge University Press2025
Other Libraries in Japan
  • Subject HeadingCategories (Mathematics) Recursion theory Induction (Mathematics) Fixed...

Recursion across domains : pbk

Recursion across domains : pbk
Paper図書
edited by Luiz Amaral, Marcus Maia, Andrew Nevins, Tom RoeperCambridge University Press2020
Other Libraries in Japan
  • Subject HeadingLinguistic analysis (Linguistics) Recursion theory

Abstract recursion and intrinsic complexity

Abstract recursion and intrinsic complexity
Paper図書
Yiannis N. MoschovakisCambridge University Press2019
Other Libraries in Japan
  • Subject HeadingAlgorithms Recursion theory Set theory

The recursive book of recursion : ace the coding interview with Python and JavaScript pbk.

The recursive book of recursion : ace the coding interview with Python and JavaScript pbk.
Paper図書
Al SweigartNo Starch Press2022
Other Libraries in Japan
  • Subject HeadingComputer programming Recursion theory Python (Computer program lang...

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
Paper図書
Peter G. HinmanCRC Press2020, c2005
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical Model theory Set theory Recursion theory

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain. (Contemporary Mathematics ; 604)

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain. (Contemporary Mathematics ; 604)
Paper図書
American Mathematical Society[2013]<M17-15-883>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...putability and recursion theory -- Complexity of computation ...

Recursion theory : computational aspects od definability

Recursion theory : computational aspects od definability
Paper図書
Chi Tat Chong, Liang YuWalter de Gruyterc2015
Other Libraries in Japan
  • Subject HeadingRecursion theory

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)
Paper図書
North-Holland1989.<MA41-A57>
National Diet Library
  • Subject Heading帰納法. Recursion theory.

How to think about algorithms : pbk 2nd ed.

How to think about algorithms : pbk 2nd ed.
Paper図書
Jeff EdmondsCambridge University Pressc2024
Other Libraries in Japan
  • Subject Heading...y and teaching Recursion theory -- Study and teaching

How to think about algorithms : hbk 2nd ed.

How to think about algorithms : hbk 2nd ed.
Paper図書
Jeff EdmondsCambridge University Pressc2024
Other Libraries in Japan
  • Subject Heading...y and teaching Recursion theory -- Study and teaching

Computability theory : an introduction to recursion theory

Computability theory : an introduction to recursion theory
Paper図書
Herbert B. EndertonAcademic Press is an imprint of Elsevierc2011
Other Libraries in Japan
  • Subject HeadingRecursion theory

Computability theory : pbk

Computability theory : pbk
Paper図書
Rebecca WeberAmerican Mathematical Societyc2012
Other Libraries in Japan
  • Subject HeadingRecursion theory Computable functions

Potential wadge classes

Potential wadge classes
Paper図書
Dominique LecomteAmerican Mathematical Societyc2012
Other Libraries in Japan
  • Subject HeadingBorel sets Recursion theory

E-recursion, forcing and C*-algebras : [hardback] : pbk.

E-recursion, forcing and C*-algebras : [hardback] : pbk.
Paper図書
editors, Chitat Chong ... [et al.]World Scientificc2014
Other Libraries in Japan
  • Subject HeadingRecursion theory Forcing (Model theory) C*-alg...

The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller. (Lecture notes in physics. New series m, Monographs ; m23)

The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller. (Lecture notes in physics. New series m, Monographs ; m23)
Paper図書
Springer-Verlagc1994.<MC46-A52>
National Diet Library
  • Subject Heading多体問題. 量子統計力学. 帰納法. 数値計算. Many-body problem. Recursion theory. Numerical analysis.

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)
Paper図書
Springer-Verlagc1988.<M15-A3734>
National Diet Library
  • Subject HeadingSet theory -- Congresses. Recursion theory -- Congresses.

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. (Lecture notes in mathematics ; 1141)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. (Lecture notes in mathematics ; 1141)
Paper図書
Springer-Verlagc1985.<M15-A1383>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingRecursion theory -- Congresses.

Techniques of admissible recursion theory / C.T. Chong. (Lecture notes in mathematics ; 1106)

Techniques of admissible recursion theory / C.T. Chong. (Lecture notes in mathematics ; 1106)
Paper図書
Springer-Verlag1984.<MA41-A52>
National Diet LibraryOther Libraries in Japan
  • Subject Heading帰納法. Recursion theory.

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)
Paper図書
American Mathematical Society1985.<M15-A1069>
National Diet Library
  • Subject HeadingRecursion theory -- Addresses, essays, lecture...
  • Note (General)...r Institute on Recursion Theory, held at Cornell University, ...
  • Author Heading...r Institute on Recursion Theory (1982 : Cornell University)
RSS