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

Preuve de formules conditionnelles dans des spécifications algébriques conditionnelles [Texte imprimé] / Marie-Anne Choquer ; [sous la direction de] Michel Bidoit

Date :

Editeur / Publisher :  [Lieu de publication inconnu] : [éditeur inconnu] , 1986

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

Bidoit, Michel (1957-....) (Directeur de thèse / thesis advisor)

Gaudel, Marie-Claude (1946-....) (Président du jury de soutenance / praeses)

Rémy, Jean-Luc (Membre du jury / opponent)

Jouannaud, Jean-Pierre (Membre du jury / opponent)

Université Paris-Sud (Organisme de soutenance / degree-grantor)

Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (Autre partenaire associé à la thèse / thesis associated third party)