La formalisation des langages de programmation
La réduction des réseaux. Autour de l'algorithme de Lenstra, Lenstra, Lovász
La suffisante complétude connexe. Correctif à apporter à la section B. §5.5
La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
La suffisante complétude connexe. Section B : théorie générale
La suffisante complétude connexe. Section C : exemples
Labeled shortest paths in digraphs with negative and positive edge weights
This paper gives a shortest path algorithm for CFG (context free grammar) labeled and weighted digraphs where edge weights may be positive or negative, but negative-weight cycles are not allowed in the underlying unlabeled graph. These results build directly on an algorithm of Barrett et al. [SIAM J. Comput.30 (2000) 809–837]. In addition to many other results, they gave a shortest path algorithm for CFG labeled and weighted digraphs where all edges are nonnegative. Our algorithm is based closely...
Lambda-calcul, évaluation paresseuse et mise en mémoire
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer
Langage de Łukasiewicz et diagonales de séries formelles
Dans un corps fini, toute série formelle algébrique en une indéterminée est la diagonale d'une fraction rationnelle en deux indéterminées (Furstenberg 67). Dans cet article, nous donnons une nouvelle preuve de ce résultat, par des méthodes purement combinatoires.
Langages algébriques déterministes non générateurs
Langages algébriques et systèmes de réécriture rationnels
Langages de parenthèses, langages N.T.S. et homomorphismes inverses
Langages d'interprétation des schémas récursifs
Langages persistants
Langages très simples générateurs
Language classes defined by time-bounded relativised cellular automata
Languages obtained from infinite words
Languajes and monoids with disjuntive identity.
Largest j-Simplices in n-Polytopes.