Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=071050140.

Calcul de réécriture [Texte imprimé] : fondements et applications / Horatiu Cirstea ; sous la direction de Claude Kirchner

Date :

Editeur / Publisher : [S. l.] : [s. n.] , 2000

Format : 1 vol. (210 p.)

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Réécriture, Systèmes de (informatique) -- Thèses et écrits académiques

Lambda-calcul -- Thèses et écrits académiques

Kirchner, Claude (Directeur de thèse / thesis advisor)

Université de Nancy I (Organisme de soutenance / degree-grantor)