Skip to contents

Loeckx, Jacques [Author]

Computability and decidability : an introduction for students of computer science

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1972

Published in: Lecture notes in economics and mathematical systems ; 68
Pohlers, Wolfram [Author]

Proof theory : the first step into impredicativity

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2009

Published in: Universitext
Smullyan, Raymond M. [Author]

Diagonalization and self-reference - [Reprinted]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Clarendon Press, 1996

Published in: Oxford logic guides ; 2700
Smullyan, Raymond M. [Author]

Recursion theory for metamathematics

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Oxford: Oxford University Press, 1993

Published in: Oxford logic guides ; 2200
Kratochvíl, Jan [Editor]; Li, Angsheng [Other]; Fiala, Jiří [Other]; Kolman, Petr [Other] ; TAMC 7 2010 Prag

Theory and applications of models of computation : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6108
Ogihara, Mitusnori [Other]; Ogihara, Mitsunori [Editor] ; TAMC 8 2011 Chōfu

Theory and applications of models of computation : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2011

Published in: Lecture notes in computer science ; 6648
Ambos-Spies, Klaus [Editor]; Löwe, Benedikt [Editor]; Merkle, Wolfgang [Editor] ; Conference on Computability in Europe 5 2009 Heidelberg

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5635
Ibaraki, Toshihide [Editor]; Inagaki, Yasuyoshi [Editor]; Iwama, Kazuo [Editor]; Nishizeki, Takao [Editor]; Yamashita, Masafumi [Editor] ; ISAAC 3 1992 Nagoya

Algorithms and computation : Third International Symposium, ISAAC '92 Nagoya, Japan, December 16 - 18, 1992 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 650
Noltemeier, Hartmut [Author]; Laue, Reinhard [Author]

Informatik / 1, Einführung in Algorithmen und Berechenbarkeit

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Hanser, 1981

Published in: Informatik / Hartmut Noltemeier ; 1
Goodstein, Reuben L. [Author]

Recursive analysis

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1961

Published in: Studies in logic and the foundations of mathematics
Bóna, Miklós [Author]

Combinatorics of permutations

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boca Raton, Fla. [u.a.]: Chapman & Hall/CRC, 2004

Published in: Discrete mathematics and its applications
Schieder, Birgit [Author]

Logic and proof method of recursion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1994
Viswanath, V. S. [Author]; Müller, Gerhard [Author]

The recursion method : application to many-body dynamics

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in physics / M ; 2300
Ambos-Spies, Klaus [Editor] ; Recursion Theory Week 1989 Oberwolfach

Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in mathematics ; 1432
Normann, Dag [Author]

Recursion on the countable functionals

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg [usw.]: Springer, 1980

Published in: Lecture notes in mathematics ; 811
Hromkovič, Juraj [Author]

Berechenbarkeit : Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium - [1. Aufl.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg + Teubner, 2011

Published in: Studium
Ash, Chris J. [Author] ; Knight, Julia F. [Other]

Computable structures and the hyperarithmetical hierarchy - [1st ed.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier, 2000

Published in: Studies in logic and the foundations of mathematics ; 14400
Kühnemann, Armin [Author]

Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata - [Als Ms. gedr.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 1997

Published in: Berichte aus der Informatik
Pohlers, Wolfram [Author]

Mathematische Grundlagen der Informatik

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München [u.a.]: Oldenbourg, 1993

Published in: Handbuch der Informatik ; 1,5
Hotz, Günter [Author]

Über Berechenbarkeit fraktaler Strukturen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Steiner, 1994

Published in: Akademie der Wissenschaften und der Literatur Mainz: Abhandlungen der Mathematisch-Naturwissenschaftlichen Klasse ; 1994,1

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication