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
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Thèse Thèse CMI
Réserve 		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.