Deux arguments pour les arbres infinis en Prolog / par Solange Coupet-Grimal ; sous la direction de Alain Colmerauer

Auteur principal : Coupet-Grimal, Solange, 1952-, AuteurAuteur secondaire : Colmerauer, Alain, 1941-, Directeur de thèseAuteur secondaire collectivité : Université d'Aix-Marseille II, 1969-2011, Etablissement de soutenanceType 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 automata
68Q70, 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: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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.

to post a comment.