Deux arguments pour les arbres infinis en Prolog / par Solange Coupet-Grimal ; sous la direction de Alain Colmerauer
Type de document : ThèseLangue : français.Pays: France.Éditeur : 1988, [S.l.] : [s.n.]Description : 1 vol. (112 p.) ; 30 cmSujet MSC : 68Q45, Computer science - Theory of computing, Formal languages and automata68Q70, Computer science - Theory of computing, Algebraic theory of languages and automata
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique et mathématiques, 1988, Aix-Marseille 2 Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Thèses COU (Browse shelf(Opens below)) | Available | 09557-01 |
Thèse de doctorat informatique et mathématiques 1988 Aix-Marseille 2
Proposition d'une solution nouvelle a deux problèmes : la production de l'automate a états finis déterministe minimal reconnaissant un langage défini par une expression régulière et la normalisation des expressions du lambda calcul
There are no comments on this title.