Normal view MARC view ISBD view

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
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note 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.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses COU (Browse shelf) 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 for this item.

Log in to your account to post a comment.