A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'système de réécriture'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Sustitutions in dynamics, arithmetics and combinatorics / V. BERTHE (2002)
Titre : Sustitutions in dynamics, arithmetics and combinatorics Type de document : monographie Auteurs : V. BERTHE, Auteur ; S. FERENCZI, Auteur ; C. MAUDUIT, Auteur ; A. SIEGEL, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 2002 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1794 Importance : XVII-402 p. ISBN/ISSN/EAN : 978-3-540-44141-0 Langues : Anglais Catégories : 11A63
11B85
11J70
11KXX
11R06
1A55
28A80
28DXX
37BXX
40A15
68Q45
68R15Mots-clés : système dynamique combinatoire système de réécriture analyse combinatoire complexité de calcul Note de contenu : index, références Sustitutions in dynamics, arithmetics and combinatorics [monographie] / V. BERTHE, Auteur ; S. FERENCZI, Auteur ; C. MAUDUIT, Auteur ; A. SIEGEL, Auteur . - Berlin : Springer-Verlag, 2002 . - XVII-402 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1794) .
ISBN : 978-3-540-44141-0
Langues : Anglais
Catégories : 11A63
11B85
11J70
11KXX
11R06
1A55
28A80
28DXX
37BXX
40A15
68Q45
68R15Mots-clés : système dynamique combinatoire système de réécriture analyse combinatoire complexité de calcul Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19029 LN 1794 Livre Recherche Salle Disponible Term rewriting systems / TERESE (Cop. 2003)
Titre : Term rewriting systems Type de document : texte imprimé Auteurs : TERESE, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 2003 Collection : Cambridge tracts in theoretical computer science num. 55 Importance : XVII-884 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-521-39115-3 Langues : Anglais Mots-clés : informatique système de réécriture Note de contenu : index, références Term rewriting systems [texte imprimé] / TERESE, Auteur . - Cambridge : Cambridge University Press, Cop. 2003 . - XVII-884 p. : ill.. - (Cambridge tracts in theoretical computer science; 55) .
ISBN : 978-0-521-39115-3
Langues : Anglais
Mots-clés : informatique système de réécriture Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19348 TER/68/7792 Livre Recherche Salle Disponible