Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Recursion theory

Subject

Browse all works related to Recursion theory.

Home
Subject
Recursion theory

"164" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Recursion on the countable functionals

Recursion on the countable functionals

by Normann, Dag

fromLecture notes in mathematics

0 Type: Book

Recursion on the Countable Functionals

Recursion on the Countable Functionals

fromLecture notes in mathematics

0 Type: Book

Recursion on the countable functionals

Recursion on the countable functionals

by Normann, Dag

fromLecture notes in mathematics (Springer-Verlag)

0 Type: Book

Recursion on the countable functionals

Recursion on the countable functionals

by Normann, Dag

fromLecture notes in mathematics (Springer-Verlag)

0 Type: Book

1
2
3
4
5
6
7
8
9

Subjects

Recursion theory (164) Théorie de la récursivité (136) Rekursionstheorie (31) Computable functions (26) Fonctions calculables (24) Récursivité, Théorie de la (22) Recursion theory -- Congresses (14) Théorie de la récursivité -- … (13) COMPUTER PROGRAMMING (12) Computational complexity (11) Computational complexity -- C… (11) Complexité de calcul (Informa… (10) Recursie (10) Programmation informatique (9) Borel sets (8) C*-algebras (8) Ensembles boréliens (8) Forcing (Model theory) (8) C*-àlgebres (7) Ensembles récursivement énumé… (7) Fini (7) Finite, The (7) Forcing (Théorie des modèles) (7) Recursively enumerable sets (7) Berechenbarkeit (6) Incompleteness theorems (6) Logic, Symbolic and mathemati… (6) MATHEMATICS -- General (6) Many-body problem (6) Numerical analysis (6) PASCAL (Langage de programmat… (6) Pascal (Computer program lang… (6) Rekursive Funktion (6) Théorèmes d'incomplétude (6) mathematics (6) Fixed point theory (5) Functionalen (5) JavaScript (Computer program … (5) Natural language processing (… (5) Python (Computer program lang… (5) REKURSIONSTHEORIE (MATHEMATIK) (5) Théorème du point fixe (5) 31.10 logic, set theory (4) Analyse numérique (4) Fonctions récursives (4) Linguistic analysis (Linguist… (4) Mathematische Logik (4) Problème des N corps (4) RECURSION THEORY (MATHEMATICS) (4) Recursive Functions (4) Rekursion (4) Rekursionsteori (4) THÉORIE DE LA RÉCURSIVITÉ (MA… (4) computational linguistics (4) logica (4) Analyse linguistique (Linguis… (3) Berechenbare Funktion (3) Computer Science (3) Fonctions récursives -- Infor… (3) Linguistique informatique (3) Logic, Symbolic and mathemati… (3) Logique symbolique et mathéma… (3) Logique symbolique et mathéma… (3) Machine Theory (3) Mathematical logic (3) Natural Language Processing (3) Recursieve functies (3) Rekursionsmethode (3) Set theory (3) Set theory -- Congresses (3) Théorie des ensembles -- Cong… (3) Traitement automatique des la… (3) (Zielgruppe)Fachpublikum/ Wis… (2) Algorithmes (2) Combinatorische logica (2) Complexité de calcul (Informa… (2) Decidability (Mathematical lo… (2) Digital computer systems (2) Décidabilité (logique mathéma… (2) EBK: eBook (2) FUNCTIONALS (2) Fonctionnelles (2) Higher Randomness (2) Hypergrade (2) Information theory (2) JAVA (PROGRAMMIERSPRACHEN) (2) JAVA (PROGRAMMING LANGUAGES) (2) Java (2) Java (Langage de programmatio… (2) JavaScript (Langage de progra… (2) Jump Operator (2) LEHRBÜCHER (DOKUMENTENTYP) (2) Lógica matemática (2) MANUELS POUR L'ENSEIGNEMENT (… (2) Mathematical logic and founda… (2) Mathematics -- Philosophy (2) Mathématiques -- Philosophie (2) Metamathematica (2) MÉTHODES DE PROGRAMMATION SPÉ… (2) OBJECT-ORIENTED PROGRAMMING (… (2) OBJEKTORIENTIERTE PROGRAMMIER… (2) ORDER TYPES + ORDINAL NUMBERS… (2) ORDNUNGSTYPEN + ORDINALZAHLEN… (2) PASCAL (2) PROGRAMMATION ORIENTÉE OBJETS… (2) Python (Langage de programmat… (2) Queuing theory (2) RDF (Document markup language) (2) RDF (Langage de balisage) (2) Recursion Theory; Turing Degr… (2) Robots -- Programmation (2) Robots -- Programming (2) SPECIAL PROGRAMMING METHODS (2) SPEZIELLE PROGRAMMIERMETHODEN (2) TEXTBOOKS (DOCUMENT TYPE) (2) TYPES D'ORDRE + NOMBRES ORDIN… (2) Théorie de l'information (2) Théorie des automates (2) Théorie des files d'attente (2) Turinggrade (2) Vielkörperproblem (2) calculabilité (2) rekurzív elmélet -- matematika (2) récursivité (2) théorème de Gödel (2) (Produktform)Electronic book … (1) (Produktform)Hardback (1) (VLB-WN)1620: Hardcover, Soft… (1) (VLB-WN)9620 (1) AXIOMATIC SET THEORY (MATHEMA… (1) AXIOMATISCHE MENGENLEHRE (MAT… (1) Abzähltheorie (1) Analytical spaces (1) Berechnung (1) Berechnungskomplexität (1) Berechnungstheorie (1) Borel-Menge (1) C-Stern-Algebra (1) COMPUTERS -- Computer Literacy (1) COMPUTERS -- Computer Science (1) COMPUTERS -- Data Processing (1) COMPUTERS -- Hardware (1) COMPUTERS -- Information Tech… (1) COMPUTERS -- Machine Theory (1) COMPUTERS -- Reference (1) Calcul des prédicats (1) Complex analysis (1) Complexite (1) Complexité de Kolmogorov (1) Computability and recursion t… (1) Computer networks (1) Computer science -- Congresses (1) Descriptive set theory See al… (1) Eindigheid (1) Einführung (1) Electronic books (1) Fixpunkt (1) Fixpunkttheorie (1) Forcing (1) Forcing (mathématiques) (1) Formal languages (1) Funciones calculables (1) Funzioni computabili (1) Funzioni ricorsive (1) Génie logiciel (1) Gödel's theorem (1) Gödelscher Unvollständigkeits… (1) INFORMATIQUE THÉORIQUE (1) Induction (Mathematics) (1) Induction (Mathématiques) (1) Informatie- en communicatiete… (1) Information and Communication… (1) Information theory in mathema… (1) Informatique (1) Informatique -- Congrès (1) Kasan (1997) (1) Kolmogorov complexity (1) LANGUAGE ARTS & DISCIPLINES -… (1) Langages de programmation -- … (1) Logic and Set Theory (1) Logik (1) Logique combinatoire (1) Logique mathématique (1) Logique mathématique -- Actes… (1) MATHEMATICS -- Applied (1) MATHEMATICS -- Reference (1) MATHEMATICS -- Topology (1) MATHEMATICS / Essays (1) MATHEMATICS / Pre-Calculus (1) MODEL THEORY (MATHEMATICAL LO… (1) MODELLTHEORIE (MATHEMATISCHE … (1) Matematisk logik (1) Mathematical Theory (1) Mathematik (1) Mathematische Logik, Mengenth… (1) Mathématiques (1) Maßtheorie (1) Mehrkörperproblem -- Rekursio… (1) Mengenlehre (1) Metod: matematisk (1) Mångkropparproblemet (1) Non-résolubilité (Logique mat… (1) Ordinateurs -- Programmation (1) Other degrees and reducibilit… (1) PASCAL (Programmiersprache) (1) Physical Sciences & Mathemati… (1) Point fixe, Théorème du (1) Problèmes des n corps (1) Programmierung (1) Programming (1) Programming languages (Electr… (1) Recursively enumerable sets a… (1) Recursión, Teoría de (1) Rekursionsmethode -- Mehrkörp… (1) Rekursiv aufzählbare Menge (1) Rekursivität (1) Ricorsività -- Teoria (1) RÉCURSION (1) Récursivité, Théorie de la --… (1) Récursivité, Théorie de la --… (1) Selbstbezüglichkeit (1) Spieltheorie (1) Symbolisk logik (1) THÉORIE AXIOMATIQUE DES ENSEM… (1) THÉORIE DES MODÈLES (LOGIQUE … (1) Teoria da recursão (1) Theorie (1) Théorie de l'information en m… (1) Théorie de la définissabilité… (1) Théorie des ensembles (1) Théorie des ensembles -- Acte… (1) Turing machines (1) Turing, Machines de (1) Unlösbarkeit (1) Unsolvability (Mathematical l… (1) Veel-deeltjes-systemen (1) Wiskunde (algemeen) (1) artificial intelligence (1) calculabilité -- fonctions ré… (1) complexité -- hasard (1) complexité -- théorie de l'in… (1) complexité Kolmogorov (1) computational science (1) computer sciences (1) computer techniques (1) computertechnieken (1) computerwetenschappen (1) fonctions calculables -- fonc… (1) formalisation calcul (1) indecidabilite (1) logique inductive (1) point fixe - théorie (1) predicate calculus (1) računalništvo (1) récursion algébrique (1) suite aléatoire (1) théorie récursivité (1) théorème incomplétude (1) wiskunde (1) œaC*-algebras (1) œaForcing (Model theory) (1) œaRecursion theory (1)

Contributor

Roberts, Eric (13) Enderton, Herbert B. (10) Lecomte, Dominique (8) Weber, Rebecca (8) Greenberg, Noam (7) Centro internazionale matemat… (6) Cutland, Nigel (6) Epstein, Richard L. (6) Lindstrom, Per (6) Lolli, Gabriele (6) Müller, Gerhard (6) Sacks, Gerald E. (6) Viswanath, V. S. (6) Chong, C.-T., (Chi-Tat) (5) Yu, Liang, (Professor of math… (5) C.I.M.E. Summer School, Bress… (4) Fenstad, Jens Erik (4) Kazan '97 Workshop, Kazanʹ, R… (4) Lobina, David J. (4) Normann, Dag (4) Rohl, J. S., (Jeffrey Soden) (4) Shoenfield, Joseph R. (4) Smullyan, Raymond M. (4) Sweigart, Al (4) Yu, Liang (4) Arslanov, M. M., (Marat Mirza… (3) Chong, Chi Tat (3) Bertossi, Leopoldo (2) Chong, C.-T., (Chong, Chi-Tat) (2) Chong, Chitat (2) Delahaye, Jean-Paul (2) Fenstad, Jens E. (2) Ivanov, L. L., (Ljubomir Lalo… (2) Kohayakawa, Yoshiharu (2) Lempp, Steffen (2) Navarro, Gonzalo (2) Shoenfield, Joseph R., (Josep… (2) Slaman, Theodore A. (2) Woodi, W. Hugh (2) American Mathematical Society (1) Bell, John Lane (1) C.I.M.E. Summer School, Bress… (1) Cabal Seminar (1) Cutland, Nigel J. (1) Enderton, Herbert (1) Enderton, Herbert Bruce (1) Feng, Qi (1) Hesselink, Wim H. (1) IFIP International Conference… (1) IFIP World Computer Congress,… (1) IFIP World Computer Congress,… (1) Ivanov, L. L. (1) Ivanov, Lûbomir Lalov (1) Kazan Workshop (1) Kleene, Stephen Cole (1) Normann, D. (1) O'Reilly for Higher Education… (1) Oxford University Press (1) Roberts, E. (1) Roberts, Eric,, matematik (1) Rohl (1) Rohl, Jeffrey S. (1) Rose, Harvey Earnest (1) Safari, an O'Reilly Media Com… (1) ScienceDirect (Online service) (1) Shoenfield, Joseph R., (Shoen… (1) Shoenfield, Joseph Robert (1) Smullyan, Raymond, (Raymond M… (1) Sweigart, Albert (1) TCS 2006, Santiago, Chili) (1) Yang, Yue (1) Yasuhara, Ann (1)

Publisher

American mathematical Society (30) Cambridge University Press (30) Springer (17) Springer-Verlag (12) Academic Press (8) John Wiley (8) Wiley (7) World Scientific (6) Clarendon Press (5) De Gruyter (5) No Starch Press (5) Oxford University Press (5) E. Horwood (4) Walter de Gruyter GmbH & Co.,… (4) W. De Gruyter (3) ASL Association for Symbolic … (2) Elsevier/Academic Press (2) Halsted Press (2) Hermès (2) Springer-Vlg (2) Walter De Gruyter (2) World scientific Publishing C… (2) Academic (1) EMS Press (1) Elsevier (1) Elsevier Science (1) Eurospan [distributor] (1) Fondazione CIME (1) J. Wiley (1) J. Wiley & Sons (1) Springer Berlin Heidelberg (1) University Press (1)

Year

2022 (5) 2021 (1) 2017 (7) 2016 (10) 2015 (9) 2014 (8) 2013 (7) 2012 (9) 2011 (11) 2010 (2) 2006 (21) 2005 (3) 1999 (5) 1994 (13) 1993 (8) 1992 (1) 1990 (5) 1989 (1) 1986 (4) 1984 (6) 1981 (5) 1980 (11) 1971 (1) 1969 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type