Cargando…

Computability Theory and Its Applications : Current Trends and Open Problems.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Cholak, Peter A.
Otros Autores:	Lempp, Steffen, Lerman, Manuel
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence : American Mathematical Society, 2000.
Colección:	Contemporary Mathematics.
Temas:	Computable functions > Congresses. Fonctions calculables > Congrès. Computable functions Conference papers and proceedings
Acceso en línea:	Texto completo

Ejemplares similares

Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /
Publicado: (2014)

Logic and Computation
Publicado: (1990)

Theory of computation /
por: Tourlakis, George J.
Publicado: (2012)

Handbook of computability theory /
Publicado: (1999)

Computability and logic.
por: Boolos, George
Publicado: (2002)

Computable structures and the hyperarithmetical hierarchy /
por: Ash, C. J.
Publicado: (2000)

Effective mathematics of the uncountable /
por: Greenberg, Noam, 1974-, et al.
Publicado: (2013)

Computability and logic.
por: Boolos, George
Publicado: (2007)

Computability in context : computation and logic in the real world /
Publicado: (2011)

Introducción a la teoría de la computabilidad /
por: Gallardo López, Domingo
Publicado: (2003)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

Computability in analysis and physics /
por: Pour-El, Marian B. (Marian Boykan), 1928-, et al.
Publicado: (2016)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
por: Hirschfeldt, Denis Roman, et al.
Publicado: (2017)

Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)

Computation and automata /
por: Salomaa, Arto
Publicado: (1985)

Computability in context : computation and logic in the real world /
Publicado: (2011)

Automata and Computability.
por: Kozen, Dexter C.
Publicado: (1997)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Publicado: (1977)

Minimal weak truth table degrees and computably enumerable Turing degrees /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)

Formalized recursive functionals and formalized realizability /
por: Kleene, Stephen Cole, 1909-1994
Publicado: (1969)

Recursive functionals /
por: Sanchis, Luis E.
Publicado: (1992)

Symbolic computation and education /
Publicado: (2007)

Symbolic computation and education /
Publicado: (2007)

Computability theory: an introduction
por: Jones, Neil D.
Publicado: (1973)

Three Views of Logic : Mathematics, Philosophy, and Computer Science.
por: Loveland, Donald W.
Publicado: (2014)

Hilbert's tenth problem /
por: Matii͡asevich, I͡U. V. (I͡Uriĭ V.)
Publicado: (1993)

Proofs and Computations.
por: Schwichtenberg, Helmut
Publicado: (2011)

Proofs and Computations.
por: Schwichtenberg, Helmut
Publicado: (2011)

Recursive algorithms /
por: Lorentz, Richard
Publicado: (1994)

Geometric Function Theory In Several Complex Variables, Proceedings Of A Satellite Conference To The Int'l Congress Of Mathematicians In Beijing 2002.
por: FitzGerald, Carl H.
Publicado: (2004)

Hypergeometric Functions on Domains of Postivity, Jack Polynomials, and Applications.
por: Richards, Donald St. P.
Publicado: (1992)

Formal systems and recursive functions /
Publicado: (1965)

Advances in the Theory of Automorphic Forms and Their L-functions.
por: Jiang, Dihua
Publicado: (2016)

Automorphic forms and L-functions I, global aspects : a workshop in honor of Steve Gelbart on the occasion of his sixtieth birthday, May 15-19, 2006, Rehovot and Tel-Aviv, Israel /
Publicado: (2009)

Automorphic forms and L-functions II, local aspects : a workshop in honor of Steve Gelbart on the occasion of his sixtieth birthday, May 15-19, 2006, Rehovot and Tel-Aviv, Israel /
Publicado: (2009)

Analyzable Functions and Applications.
por: Costin, O.
Publicado: (2005)

Finite Calculus Associated with Bessel Functions.
por: Cholewinski, Frank M.
Publicado: (1988)

Introduction to formal languages, automata theory and computation /
por: Krithivasan, Kamala
Publicado: (2009)

Theory and application of special functions : proceedings of an advanced seminar sponsored by the Mathematics Research Center, the University of Wisconsin-Madison, March 31-April 2, 1975 /
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_8ll11fujaqe5qmb6gmctqu3jd1