5 résultat(s) recherche sur le mot-clé 'décidabilité'    

Accessibilité et morphismes itérés / Jean-Jacques PANSIOT (1983)

Public ISBD 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é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 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)

Public ISBD 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)

Public ISBD 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 08B99 Mots-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 08B99 Mots-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)

Public ISBD 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)

Public ISBD 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