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

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

Abstract recursion and intrinsic complexity

Abstract recursion and intrinsic complexity
Paper図書
Yiannis N. MoschovakisCambridge University Press2019
Other Libraries in Japan

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

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
Paper図書
Peter G. HinmanCRC Press2020, c2005
Other Libraries in Japan

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

Recursion theory : computational aspects od definability

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

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

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

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

Computability theory : pbk

Computability theory : pbk
Paper図書
Rebecca WeberAmerican Mathematical Societyc2012
Other Libraries in Japan

Potential wadge classes

Potential wadge classes
Paper図書
Dominique LecomteAmerican Mathematical Societyc2012
Other Libraries in Japan

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

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

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

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
RSS