Tag #french
58 papers:
CSL-2000-Poizat - Une tentative malheureuse do construire une structure éliminant rapidement les quanteurs (BP), pp. 61–70.
AdaEurope-1995-Gabai #ada #library #named #validation- LAMPBADA: Logiciel d’Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool) (DDG), pp. 444–455.
WSA-1992-GiavittoSM - Inférer rapidement la géométrie des collections (JLG, JPS, OM), pp. 185–193.
- WSA-1992-Serpette #approximate
- Approximations d’évaluateurs fonctionnels (BPS), pp. 79–90.
- WSA-1991-Barthelemy
- Prédire à bon escient (FB), pp. 139–143.
- WSA-1991-ConselK #evaluation
- Evaluation partielle paramétrable (CC, SCK), pp. 72–81.
- WSA-1991-Cregut
- Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels (PC), pp. 37–43.
- WSA-1991-Goudal #continuation
- Une représentation abstraite des expressions et continuations en Scheme (FG), pp. 225–233.
- WSA-1991-GriffithsMP #prolog
- Analyse et transformation de programmes Prolog en vue de leur parallélisation avec les prédicats parand et paror (MG, PM, CP), pp. 217–224.
- WSA-1991-ImbertH
- A propos des redondances dans les systèmes d’inéquations linéaires (JLI, PVH), pp. 210–216.
- WSA-1991-LecoutreDL #prolog
- Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite (CL, PD, PL), pp. 62–69.
- WSA-1991-MesnardG
- A propos du contrôle de la résolution (FM, JGG), pp. 125–131.
- WSA-1991-Musumbu
- Interprétation abstraite au moyen de grammaires attribuées (KM), pp. 144–150.
- WSA-1991-ParrainDL #prolog #validation
- Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs (AP, PD, PL), pp. 132–138.
ICALP-1988-Spehner - La Reconnaissance des Facteurs d’un Language Fini dans un Texte en Temps Lineaire (Resume) (JCS), pp. 547–560.
- ICALP-1986-Pechuchet
- Etude Syntaxique des Parties Reconnaissables de Mots Infinis (JPP), pp. 294–303.
- ICALP-1986-Spehner
- Un Algorithme Determinant les Melanges de Deux Mots (JCS), pp. 387–396.
- ICALP-1984-Pansiot
- Complexité des Facteurs des Mots Infinis Engendrés par Morphimes Itérés (JJP), pp. 380–389.
- ICALP-1984-Pecuchet
- Automates Boustrophendon, Semi-Groupe de Birget et Monoide Inversiv Libre (Abstract/ Résumé) (JPP), p. 390.
- ICALP-1983-Pansiot
- A Propos d’une Conjecture de F. Dejean sur les Répétitions dans les Mots (JJP), pp. 585–596.
- ICALP-1983-Perrin
- Varietes de Semigroupes et Mots Infinis (DP), pp. 610–616.
- ICALP-1983-Pin
- Arbres et Hierarchies de Concatenation (JÉP), pp. 617–628.
- ICALP-1981-Pin
- Languages reconnaissables et codage prefixe pur (JÉP), pp. 184–192.
- ICALP-1980-Boasson
- Derivations et Redutions dans les Grammaires Algebriques (LB), pp. 109–118.
- ICALP-1980-Pin
- Proprietes syntactiques du produit non ambigu (JÉP), pp. 483–499.
- ICALP-1979-Berstel #morphism
- Sur les mots sans carré définis par un morphisme (JB), pp. 16–25.
- ICALP-1978-ArnoldD #morphism
- Sul l’inversion des morphisms d’arbres (AA, MD), pp. 26–35.
- ICALP-1978-Beauquier
- Ambiguite Forte (JB), pp. 52–62.
- ICALP-1978-Boe
- Une Famille Remarquable de Codes Indecomposables (JMB), pp. 105–112.
- ICALP-1978-Pin
- Sur un Cas Particulier de la Conjecture de Cerny (JÉP), pp. 345–352.
- ICALP-1978-Reutenauer #commutative
- Sur les Series Rationnelles en Variables Non Commutatives (CR), pp. 372–381.
- ICALP-1978-Sale #λ-calculus
- Une Extension de la Theorie des Types en λ-Calcul (PS), pp. 398–410.
- ICALP-1977-Jacob #matrix
- Complexite des Demi-Groupes de Matrices (GJ), pp. 269–281.
- ICALP-1976-ArnoldD
- Bi-transductions de forêts (AA, MD), pp. 74–86.
- ICALP-1976-Beauquier
- Générateurs algébriques non-ambigus (JB), pp. 66–73.
- ICALP-1976-Perrin
- Sur la longeur moyenne des codes préfixes (DP), pp. 45–51.
- ICALP-1976-Sakarovitch
- Sur les monoïdes syntactiques des langages algébriques déterministes (JS), pp. 52–65.
- ICALP-1974-Arsac
- Langages sans Etiquettes et Transformations de Programmes (JJA), pp. 112–128.
- ICALP-1974-BerstelB
- Une suite decroissante de cônes rationnels (JB, LB), pp. 383–397.
- ICALP-1974-Cesari
- Sur l’application du theoreme de Suschkewitsch a l’etude des codes rationnets complets (YC), pp. 342–350.
- ICALP-1974-CourcelleKV #equation #equivalence #recursion #reduction
- Algorithmes d’equivalence et de reduction a des expressions minimales dans une classe d’equations recursives simples (BC, GK, JV), pp. 200–213.
- ICALP-1974-Fontet #morphism #permutation
- Un resultat en theorie des groupes de permutations et son application au calcul effectif du groupe d’automorphismes d’un automate fini (MF), pp. 335–341.
- ICALP-1974-Schutzenberger
- Sur une propriete syntactique des relations rationnelles (MPS), pp. 612–619.
- ICALP-1972-Berstel
- Sur la densité asymptotique de langages formels (JB), pp. 345–358.
- ICALP-1972-Boasson
- Un critère de rationnalité des langages algébriques (LB), pp. 359–365.
- ICALP-1972-Butzbach
- Une famille de congruences de Thue pour lesquelles le problème de l’équivalence est décidable. Application á l’équivalence des grammaires séparées (PB), pp. 3–12.
- ICALP-1972-Choffrut
- Transducteurs conservant l’imprimitivité du langage d’entrée (CC), pp. 13–29.
- ICALP-1972-Cori
- Sur des langages vérifiant des équations avec opérateur (RC), pp. 31–43.
- ICALP-1972-Crestin
- Un langage non ambigu dont le carré est d’ambiguité non bornée (JPC), pp. 377–390.
- ICALP-1972-FlajoletS
- Complexité des problèmes de décision relatifs aux algorithmes de tri (PF, JMS), pp. 537–548.
- ICALP-1972-Fliess #commutative
- Automates stochastiques et séries rationnelles non commutatives (MF), pp. 397–411.
- ICALP-1972-Kott
- Remarques sur la structure des schémas de programmes (JK), pp. 265–271.
- ICALP-1972-Nivat
- Langages algébriques sur le magma libre et sémantique des schémas de programme (MN), pp. 293–308.
- ICALP-1972-Nolin
- Systèmes algorithmiques, systèmes fonctionnels (LN), pp. 309–318.
- ICALP-1972-Ruggiu
- Les types et les appels de procédures (GR), pp. 319–330.
- ICALP-1972-Schutzenberger
- A propos du relation rationelles fonctionnelles (MPS), pp. 103–114.
- ICALP-1972-Vidal-Naquet
- Quelques applications des automates à arbres infinis (GVN), pp. 115–122.
- ICALP-1972-Viennot
- Automates et bascules (GV), pp. 123–133.
