Complexity logic and recursion theory

出版社:New York : Dekker, c1997.
ISBN:0824700260
出版年:1997
作者:Sorbi,Andrea,
资源类型:图书
细分类型:西文文献
相关推荐

Higher Recursion Theory (Perspectives in Logic, 2)

  • 作者:Gerald E. Sacks.
  • ISBN:9781107168435
  • 出版社:Cambridge University Press, 2016-12.
  • 出版年:2016

Algebraic computability and enumeration models : recursion theory and descriptive complexity

  • 作者:Nourani,Cyrus F.
  • ISBN:9781771882477
  • 出版社:Oakville, ON ; New Jersey : Apple Academic Press, c2016.
  • 出版年:2016

Abstract recursion and intrinsic complexity

  • 作者:Moschovakis,Yiannis N.
  • ISBN:9781108415583
  • 出版社:Cambridge ; New York, NY : Cambridge University Press, c2019.
  • 出版年:2019

Recursion theory

  • 作者:Nerode,Anil,
  • ISBN:0821814478
  • 出版社:Providence, R.I. : American Mathematical Society, 1985.
  • 出版年:1985

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium ''79, Leeds

  • 作者:Logic Colloquium
  • ISBN:052123543X
  • 出版社:Cambridge (England) ; New York : Cambridge University Press, 1980.
  • 出版年:1980

Recursion theory

  • 作者:Shoenfield,Joseph R.
  • ISBN:3540570934
  • 出版社:Berlin ; New York : Springer-Verlag, c1993.
  • 出版年:1993