m

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

Documents  réécriture | enregistrements trouvés : 4

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.

Semigroups theory and applications Ed. Juergensen, H. ; Ed. Lallement, G. ; Ed. Weinert, H.J.. -Berlin : Springer , 1988 . - x-416
https://doi.org/10.1007/BFb0083418


MathCongrès

semi-groupe ; langage formel ; grammaire ; réécriture ; code arithmétique

... 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.

Conditional term rewriting systems Ed. Kaplan, S. ; Ed. Jouannaud, Jean-Pierre. -Berlin : Springer , 1988 . - vi, 278
https://link.springer.com/book/10.1007/3-540-19242-5


MathCongrès

réécriture ; déduction ; programmation

... 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.

Free lattices Freese, Ralph ; Jezek, Jaroslav ; Nation, James B.. -Providence RI : American mathematical Society , 1995 . - viii, 293 p. ; 26 cm
ISBN 9780821803899


MathOuvrage

treillis libre ; problème du mot ; homomorphisme ; splitting ; intervalle ; algorithme ; efficacité ; réécriture

... 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.

Réécritures dans l'algèbre de Lie libre, le groupe libre et l'algèbre associative libre Melançon, Guy. -Montréal : Université du Québec ; Département de Mathématiques et d'Informatique ; Laboratoire de Combinatoire et d'Informatique Mathématique , 1991 . - vi, 126 p. ; 24 cm


MathThèse

réécriture ; algèbre de Lie libre ; groupe libre ; algèbre associative libre

... 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