UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

ULiège (40)

UCLouvain (16)

KU Leuven (13)

UGent (13)

UAntwerpen (9)

ULB (9)

UHasselt (7)

UMons (6)

VUB (6)

KBR (3)
More...

Resource type

book (37)

dissertation (3)

periodical (1)

Language

English (30)

French (8)

German (2)

Year

From To

2016 (1)

2011 (1)

2004 (1)

2003 (1)

2001 (2)
More...

Listing 1 - 10 of 40 << page
of 4
>>
Sort by

Book

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author: Mostowski, Andrzej
Year: 1957 Publisher: Amsterdam : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Décidabilité (logique mathématique)

Book

Büchi's monadic second order successor arithmetic. 1
Authors: Siefkes, Dirk --- Müller, Gert H.
Year: 1970 Publisher: Berlin : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Décidabilité (logique mathématique)

Book

Solvable cases of the decision problem
Author: Ackermann, W.
Year: 1968 Publisher: Amsterdam : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Décidabilité (logique mathématique)

Book

Undecidable theories
Authors: Tarski, Alfred --- Mostowski, Andrzej --- Robinson, Raphael Mitchel
Year: 1953 Publisher: Amsterdam : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Décidabilité (logique mathématique)

Dissertation

Le dixième problème de Hilbert
Author: Waxweiler, Laurent
Year: 2001 Publisher: [S.l.]: [chez l'auteur],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Analyse diophantienne --- Décidabilité (logique mathématique) --- Hilbert (david) --- Problemes

Book

Hilbert's tenth problem : relations with arithmetic and algebraic geometry : workshop on Hilbert's tenth problem : relations with arithmetic and algebraic geometry : November 2-5, 1999, Ghent university, Belgium
Authors: Denef, Jan --- Lipshitz, Leonard --- Pheidas, Thanases --- Van Geel, Jan --- Workshop on Hilbert's tenth problem : relations with arithmetic and algebraic geometry :
Year: 2000 Publisher: Providence : American Mathematical Society,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Algèbre --- Analyse diophantienne --- Décidabilité (logique mathématique)

Book

Gödel's proof
Authors: Nagel, Ernest --- Newman, James R.
Year: 1958 Publisher: New York, NY : New York University Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logique mathématique --- Logic, Symbolic and mathematical --- Décidabilité (logique mathématique) --- Ouvrages de vulgarisation. --- Popular works.

Book

Degrees of unsolvability
Author: Sacks, Gerald
Year: 1963 Publisher: Princeton : Princeton University Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Décidabilité (logique mathématique) --- Logique mathématique --- Récursivité, Théorie de la

Book

A note on decidability questions related to abstract numeration systems
Authors: Honkala, Juha --- Rigo, Michel
Year: 2003 Publisher: Liège : Université de Liège, Institut de mathématique (ULg),

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Langages formels --- Formal languages. --- Nombres, Théorie des --- Décidabilité (logique mathématique) --- Recognition

Book

Selecta mathematica II
Author: Jacobs, Konrad
Year: 1970 Publisher: Berlin : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique --- Computer science. --- Turing machines. --- Turing, Machines de --- Décidabilité (logique mathématique) --- Algorithmique

Listing 1 - 10 of 40 << page
of 4
>>
Sort by