m

Bibliothèques de mathématique et de l'IREM

Documents  décidabilité | enregistrements trouvés : 14

O
K L Q M | g | F x r
     

-A +A

P Q

MathCongrès
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

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 Ed. Denef, Jan ; Ed. Lipshitz, Leonard ; Ed. Pheidas, Thanases ; Ed. Van Geel, Jan. -Providence RI : American mathematical Society , 2001 . - xii, 367 p. ; 26 cm


MathCongrès

problème de Hilbert ; décidabilité ; géométrie arithmétique ; fonction récursive

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computability theory and its applications, current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and its applications, June 13-17, 1999, University of Colorado, Boulder Ed. Cholak, Peter ; Ed. Lempp, Steffen ; Ed. Lerman, Manuel ; Ed. Shore, Richard A. ; American mathematical Society ; Institute for mathematical sciences ; Society for industrial and applied mathematics. -Providence RI : American mathematical Society , 2000 . - xvi, 320 p. ; 26 cm


MathCongrès

calculabilité ; théorie des ensembles ; récursion ; récursivité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Cellular automata and complex systems Ed. Goles, Eric ; Ed. Martinez, Servet. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 1999 . - viii, 180 p. ; 25 cm
https://link.springer.com/bookseries/6356


MathCongrès

automate cellulaire ; décidabilité ; machine de Turing ; système complexe ; exposant de Lyapunov

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Groups, languages and geometry : 1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and computer science, July 5-9, 1998, Mount Holyoke College Ed. Gilman, Robert H.. -Providence RI : American mathematical Society , 1999 . - ix, 136 p. ; 26 cm


MathCongrès

théorie combinatoire des groupes ; groupe hyperbolique ; décidabilité ; pavage ; langage formel

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

MathOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Equivalents of the Riemann hypothesis. Vol. three : further steps towards resolving the Riemann hypothesis Broughan, Kevin A.. -Cambridge : Cambridge university Press , 2024 . - xx, 684 p. ; 24 cm
ISBN 9781009384803


MathOuvrage

hypothèse de Riemann ; équivalent de l'hypothèse de Riemann ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Calculabilité, complexité et approximation Rey, Jean-François. -Paris : Vuibert , 2004 . - xviii, 368 p. ; 24 cm
ISBN 9782711748082


MathOuvrage

calculabilité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Decision problems for equational theories of relation algebras Andréka, Hajnal ; Givant, Steven ; Németi, Istvan. -Providence RI : American mathematical Society , 1997 . - xiv, 126 p. ; 26 cm
ISBN 9780821805954


MathOuvrage

algèbre de relation ; décidabilité ; logique propositionnelle

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computational complexity Papadimitriou, Christos H.. -Menlo Park CA, New York NY, Reading MA : Addison-Wesley , 1994 . - xv, 523 p. ; 24 cm


MathOuvrage

algorithme génétique ; machine de Turing ; logique ; décidabilité ; calculabilité ; complétude de Kolmogorov ; p=np

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Complexité et décidabilité Dehornoy, Patrick. -Paris : Springer , 1993 . - 200 p. ; 24 cm


MathOuvrage

complexité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Calculabilité et décidabilité : une introduction Autebert, Jean-Michel. -Barcelone, Bonn, Milan, Paris : Masson , 1992 . - 118 p. ; 24 cm
ISBN 9782225826320


MathOuvrage

calculabilité ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Gödel's incompletness theorems Smullyan, Raymond M.. -New York NY, Oxford : Oxford university Press , 1992 . - xiii, 139 p. ; 24 cm


MathOuvrage

Gödel ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Les Séries rationnelles et leurs langages Berstel, Jean ; Reutenauer, Christophe. -Barcelonne, New York NY, Paris : Masson , 1984 . - 132 p. ; 24 cm
ISBN 9782225801372


MathOuvrage

série rationnelle ; langage formel ; décidabilité

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Decidability and boolean representations Burris, Stanley ; Mackenzie, Ralph. -Providence RI : American mathematical Society , 1981 . - viii, 106 p.


MathOuvrage

logique mathématique ; algèbre universelle ; décidabilité ; variété algébrique ; représentation des algèbres

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

MathThèse
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Accessibilité et morphisme itérés : Proposition donnée par l'université Pansiot, Jean-Jacques ; Dir. Foata, Dominique. -Strasbourg : Université Louis Pasteur ; Institut de recherche mathématique avancée , 1983 . - 165 p. ; 30 cm


MathThèse

réseau de Petri ; décidabilité ; mot infini

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z