A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'décidabilité' 




Accessibilité et morphismes itérés / Jean-Jacques PANSIOT (1983)
Titre : Accessibilité et morphismes itérés Type de document : texte imprimé Auteurs : Jean-Jacques PANSIOT, Auteur ; Dominique FOATA, Directeur de thèse Editeur : Strasbourg : Université Louis Pasteur Année de publication : 1983 Collection : Publication de l'IRMA, ISSN 0755-3390 num. 201/TE-22 Importance : 166 p. Note générale : Thèse
Spécialité :mathématiquesLangues : Français Anglais Mots-clés : système d'addition de vecteurs réseau de Pétri semi linéarité décidabilité mot infini morphisme itéré tag-système Note de contenu : références Accessibilité et morphismes itérés [texte imprimé] / Jean-Jacques PANSIOT, Auteur ; Dominique FOATA, Directeur de thèse . - Strasbourg : Université Louis Pasteur, 1983 . - 166 p.. - (Publication de l'IRMA, ISSN 0755-3390; 201/TE-22) .
Thèse
Spécialité :mathématiques
Langues : Français Anglais
Mots-clés : système d'addition de vecteurs réseau de Pétri semi linéarité décidabilité mot infini morphisme itéré tag-système Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14473 T/PAN/STR Livre Recherche Salle Disponible Aufzählbarkeit, entscheidbarkeit, berechenbarkeit / Hans HERMES (1961)
Titre : Aufzählbarkeit, entscheidbarkeit, berechenbarkeit : einführung in die theorie der rekursiven funktionen Type de document : texte imprimé Auteurs : Hans HERMES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1961 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 109 Importance : IX-246 p. ISBN/ISSN/EAN : 978-3-540-08869-1 Langues : Allemand Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Aufzählbarkeit, entscheidbarkeit, berechenbarkeit : einführung in die theorie der rekursiven funktionen [texte imprimé] / Hans HERMES, Auteur . - Berlin : Springer-Verlag, 1961 . - IX-246 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 109) .
ISBN : 978-3-540-08869-1
Langues : Allemand
Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5081 HER/02/2595 Livre Recherche Salle Disponible Decidability and boolean representations / BURRIS Stanley (1981)
Titre : Decidability and boolean representations Type de document : monographie Auteurs : BURRIS Stanley, Auteur ; Ralph McKENZIE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1981 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 246 ISBN/ISSN/EAN : 978-0-8218-2246-3 Note générale : Références Langues : Anglais Catégories : 03B25
03C05
08A05
08B10
08B99Mots-clés : logique mathématique algèbre universelle décidabilité variété algébrique représentation des algèbres Decidability and boolean representations [monographie] / BURRIS Stanley, Auteur ; Ralph McKENZIE, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1981. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 246) .
ISBN : 978-0-8218-2246-3
Références
Langues : Anglais
Catégories : 03B25
03C05
08A05
08B10
08B99Mots-clés : logique mathématique algèbre universelle décidabilité variété algébrique représentation des algèbres Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1704 854/246 Livre Recherche Salle Disponible Decision problems for equational theories of relation algebras / Hajnal ANDREKA (1997)
Titre : Decision problems for equational theories of relation algebras Type de document : monographie Auteurs : Hajnal ANDREKA, Auteur ; Steven GIVANT, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1997 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 604 ISBN/ISSN/EAN : 978-0-8218-0595-4 Note générale : Index, bibliogr. Langues : Anglais Catégories : 03G15 Mots-clés : algèbre des relations décidabilité Decision problems for equational theories of relation algebras [monographie] / Hajnal ANDREKA, Auteur ; Steven GIVANT, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1997. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 604) .
ISBN : 978-0-8218-0595-4
Index, bibliogr.
Langues : Anglais
Catégories : 03G15 Mots-clés : algèbre des relations décidabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16187 854/604 Livre Recherche Salle Disponible Enumerability, decidability, computability / Hans HERMES (1965)
Titre : Enumerability, decidability, computability : an introduction to the theory of recursive functions Type de document : texte imprimé Auteurs : Hans HERMES, Auteur ; G.T. HERMAN, Traducteur ; O. PLASSMANN, Traducteur Editeur : Berlin : Springer-Verlag Année de publication : 1965 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 127 ISBN/ISSN/EAN : 978-3-540-04501-4 Langues : Anglais Langues originales : Allemand Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Enumerability, decidability, computability : an introduction to the theory of recursive functions [texte imprimé] / Hans HERMES, Auteur ; G.T. HERMAN, Traducteur ; O. PLASSMANN, Traducteur . - Berlin : Springer-Verlag, 1965. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 127) .
ISBN : 978-3-540-04501-4
Langues : Anglais Langues originales : Allemand
Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 129 HER/02/2632 Livre Recherche Salle Disponible