27 treff

computable functions
Computable functions
Vereshschagin, N.K.
Bok Engelsk 2003 · Vis mer
Computability : computable functions, logic, and the foundations of mathematics
Richard L. Epstein, Walter A. Carnielli
Bok Engelsk 1989 · Vis mer
Vis flere utgaver
Vis flere utgaver
Subrecursion : functions and hierarchies
H. E. Rose
Bok Engelsk 1984 · Vis mer
Introduction to languages and the theory of computation
John C. Martin
Bok Engelsk 2003 · Vis mer
Computability theory : an introduction to recursion theory /
Herbert B. Enderton.
Bok Engelsk 2011 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computable analysis : an introduction
Klaus Weihrauch
Bok Engelsk 2000 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Logic and computation : interactive proof with Cambridge LCF
Lawrence C. Paulson
Bok Språk ikke angitt 1987 · Vis mer
Computability : a mathematical sketchbook
Bridges, Douglas
Bok Engelsk 1994 · Vis mer
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Hermes, Hans
Bok Tysk 1961 · Vis mer
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
Rod Downey, Noam Greenberg
Bok Engelsk 2020 · Vis mer
Theory of recursive functions and effective computability
Hartley Rogers, Jr.
Bok Språk ikke angitt 1967 · Vis mer
Computable models of the law : languages, dialogues, games, ontologies
Pompeu Casanovas... [et al.] (eds.)
Bok Engelsk 2008 · Vis mer
Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. 259. Models and computabilty
Logic Colloquium (1997 Leeds)
Bok Engelsk 1999 · Vis mer
An invitation to applied category theory : seven sketches in compositionality
Brendan Fong (Massachusetts Institute of ...
Bok Engelsk 2019 · Vis mer
An invitation to applied category theory : seven sketches in compositionality /
Brendan Fong, David I. Spivak.
Bok Engelsk 2019 · Vis mer
Computability and complexity theory
Steven Homer, Alan L. Selman
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computability and logic
George Boolos, Richard Jeffrey
Bok Engelsk 1980 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computability and complexity in analysis : 4th international workshop, CCA 2000 : Swansea, UK, September 17-19, 2000, selected papers
CCA 2000
Bok Engelsk 2001 · Vis mer
Set theory for computing : from decision procedures to declarative programming with sets
Domenico Cantone, Eugenio Omodeo, Alberto...
Bok Engelsk 2001 · Vis mer
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder
Computability Theory and Applications (konferanse)
Bok Engelsk 2000 · Vis mer
Handbook of computability theory
edited by Edward R. Griffor
Bok Engelsk 1999 · Vis mer
The theory of computability : programs, machines, effectiveness and feasibility
R. Sommerhalder, S. C. van Westrhenen
Bok Engelsk 1988 · Vis mer
Hilbert's tenth problem
Matiyasevich, Ju. V.
Bok Engelsk 1993 · Vis mer
The language of machines : an introduction to computability and formal languages
Robert W. Floyd, Richard Beigel
Bok Engelsk 1994 · Vis mer