La langue du titre indique la langue du document. Tous les
rapports ont un résumé en français.
The language of the document is the same as used for the title.
Abstract in english always available.
|
01
|
Irreducibility of certain pseudovarieties
S. Margolis, P. Weil, M. Sapir
|
|
02
|
Generalized Rational Relations and their Logical Definability
C. Choffrut, L.Guerra
|
|
03
|
Recent developments in trace theory
V. Diekert, P. Gastin, A. Petit
|
|
04
|
Partial Commutation and Traces
V. DiekerT, Y. Métivier
|
|
05
|
Une implémentation de Zermelo Fraenkel en CoQ
G. ALEXANDRE
|
|
06
|
Fault tolerant solutions to the firing squad synchronization problem
J-B. YUNÈS
|
|
07
|
Ranks of binary relations
V. FROIDURE
|
|
08
|
Noncommutative Symmetric Functions III: Déformations of Cauchy and Convulation Algebras
G. Duchamp, A. Klyachko, D. Krob,
J-Y. Thibon
|
|
09
|
Any Lifting of a Trace Coding is a Word Coding
V. BRUYERE , C. DE FELICE
|
|
10
|
The Meet Operation in the Lattice of Codes
V. BRUYERE, D. DERENCOURT, M. LATTEUX
|
|
11
|
Galois Groups and the Simplification of Polynomials
J.H. Davenport
|
|
12
|
Noncommutative symmetric functions IV: Quantum linear groups and Hecke algebras at q =0
D.Krob , J.Y Thibon
|
|
13
|
UET-UCT scheduling on 2 processors with constrained communications
C. PICOULEAU
|
|
14
|
Linear Speed-Up for Cellular Automata Synchronizers and Applications
O. Heen
|
|
15
|
An heuristic for axiomatic theories : the case of zermelo set theory
G. Alexandre, P. Maunoury
|
|
16
|
The Finite Power Property for Rational Sets of the Free Group
F. D'Alessandro, J. Sakarovitch
|
|
17
|
Context-Free Languages and Pushdown Automata
J.-M. Autebert, J. BersteL, L. Boasson
|
|
18
|
Syntactic semigroups
J.E.PIN
|
|
19
|
Connections between the lattices of subpseudovarieties of B and DA
P. Trotter, P. Weil
|
|
20
|
On Some Geometrical Problems of Paperfolding
J. JUSTIN
|
|
21
|
On the sequentiality of the successor function
C. Frougny
|
|
22
|
Preuve de correction de programmes fonctionnels de tris dans le systèmes Coq
P. MANOURY
|
|
23
|
Congruences represented by partial orders, diamond and lattice properties
S. BAUGET
|
|
24
|
Variable-Length Maximal Codes
V.BRUYERE, M. LATTEUX
|
|
25
|
Asynchronous cellular automata for pomsets
without auto-concurrency
P. GASTIN
|
|
26
|
Approximating Traces
V. Diekert, P. Gastin
|
|
27
|
The expressive power of existential first order sentences of Büchi's sequential calculus
J-E PIN
|
|
28
|
Scheduling with Augmented BNF Grammars
S.CRESPI REGHIZZI, L. BREVEGLIERI, A. CHERUBINI
|
|
29
|
Resource Traces: A Domain for Processes Sharing
Exclusive Resources
P. Gastin, Dan Teodosiu
|
|
30
|
The Schützenberger construct and two applications
J. sakarovitch
|
|
31
|
Actes de MCU/UMC'95, Proceedings of MCU/UMC'95
M. MARGENSTERN , J.B YUNES
|
|
32
|
Addition in negative base and some related complex number systems
Christiane Frougny
|
|
33
|
The Finite Power Property in Free Group
F. D'ALESSANDRO, J. SAKAROVITCH
|
|
34
|
List Schedules for Cyclic Scheduling
P. Chretienne
|
|
35
|
A Crystalizable version of Uq (gln)*
D. Krob and J.Y. Thibon
|
|
36
|
The gap between partial and full
J. Almeida, M.V. Volkov
|
|
37
|
Algorithms for computing finite semigroups
Véronique FROIDURE and Jean-Eric PIN
|
|
38
|
One the representation of finite deterministic 2-tape automata
Maryse Pelletier & Jacques Sakarovitc
|
|
39
|
PSPACE - complete problems for subgroups of free groups and inverse finite automata
J.C. BIRGET, S. MARGOLIS, J. MEAKIN & P. Weil
|
|
40
|
DECIMATIONS AND STURMIAN WORDS
J. JUSTIN and G. PIRILLO
|
|
Th01
|
PROBLEME DU MOT DES MONOIDES PRÉSENTÉS PAR UN SEUL RELATEU
G. Watier
|
|
Th02
|
Modélisation du parallélisme par congruences et ordres partiels
S. BAUGET
|
|
Th03
|
Mots ultimement periodiques des langages rationnels de mots infinis.
H. Calbrix
|
|
Th04
|
Evaluation partielle symbolique : une analyse sémantique des programmes C en vue de leur vérification.
P. FONTALBE
|
|
Th05
|
Transformations de programmes logiques avec contraintes.
BENSAOU Nacera
|
|
Th06
|
Quelques algorithmes parallèles et séquentiels de traitement de graphes
et applications
L. Viennot
|
|
Th08
|
UNIX, Une étude de cas
Encyclique de troisième thèse
J-M Moreno
|
|
Th09
|
Comparaison de Séquences Biologiques
Saïd ABDEDDAÏM
|
|
Th10
|
The Meet Operation in the Lattice of Codes
V. BRUYERE- D. DERENCOURT- M. LATTEUX
|
|
Th11
|
Extension de l'Isomorphisme de Curry-Howard
au Traitement des Exceptions
(application d'une étude de la dualité en logique intuitionniste)
CROLARD TristaN
|
|
Th07
|
Saving ressources on cellular automatates cellulaires
O HEEN
|
|
|
|