I.B.P HOMElitp.96.01.ps S. Margolis, P. Weil, M. Sapir Irreducibility of certain pseudovarieties
litp.96.02.ps C. Choffrut, L.Guerra Generalized Rational Relations and their Logical Definability
litp.96.03.ps V. Diekert, P. Gastin, A. Petit Recent developments in trace theory
litp.96.04.ps V. DiekerT, Y. Métivier Partial Commutation and Traces
litp.96.05.ps G. ALEXANDRE Une implémentation de Zermelo Fraenkel en CoQ
litp.96.06.ps J-B. YUN.S Fault tolerant solutions to the firing squad synchronization problem
litp.96.07.ps V. FROIDURE Ranks of binary relations
litp.96.08.ps G. Duchamp, A. Klyachko, D. Krob, J-Y. Thibon Noncommutative Symmetric Functions III: Déformations of Cauchy and Convulation Algebras
litp.96.09.ps V. BRUYERE , C. DE FELICE Any Lifting of a Trace Coding is a Word Coding
litp.96.10.ps V. BRUYERE, D. DERENCOURT, M. LATTEUX The Meet Operation in the Lattice of Codes
litp.96.11.ps J.H. Davenport Galois Groups and the Simplification of Polynomials
litp.96.12.ps D.Krob , J.Y Thibon Noncommutative symmetric functions IV: Quantum linear groups and Hecke algebras at q =0
litp.96.13.ps C. PICOULEAU UET-UCT scheduling on 2 processors with constrained communications
litp.96.14.ps O. Heen Linear Speed-Up for Cellular Automata Synchronizers and Applications
litp.96.15.ps G. Alexandre, P. Maunoury An heuristic for axiomatic theories : the case of zermelo set theory
litp.96.16.ps F. D'Alessandro, J. Sakarovitch The Finite Power Property for Rational Sets of the Free Group
litp.96.17.ps J.-M. Autebert, J. Berste, L. Boasson Context-Free Languages and Pushdown Automata
litp.96.18.ps J.E.PIN Syntactic semigroups
litp.96.19.ps P. Trotter, P. Weil Connections between the lattices of subpseudovarieties of B and DA
litp.96.20.ps J. JUSTIN On Some Geometrical Problems of Paperfolding
litp.96.21.ps C. Frougny On the sequentiality of the successor function
litp.96.22.ps P. MANOURY Preuve de correction de programmes fonctionnels de tris dans le systèmes Coq
litp.96.23.ps S. BAUGET Congruences represented by partial orders, diamond and lattice properties
litp.96.24.ps V.BRUYERE, M. LATTEUX Variable-Length Maximal Codes
litp.96.25.ps P. GASTIN Asynchronous cellular automata for pomsets without auto-concurrency
litp.96.26.ps V. Diekert, P. Gastin Approximating Traces
litp.96.27.ps J-E PIN The expressive power of existential first order sentences of Büchi's sequential calculus
litp.96.28.ps S.CRESPI REGHIZZI, L. BREVEGLIERI, A. CHERUBINI Scheduling with Augmented BNF Grammars
litp.96.29.ps P. Gastin, Dan Teodosiu Resource Traces: A Domain for Processes Sharing Exclusive Resources
litp.96.30.ps J. sakarovitch The Schützenberger construct and two applications
WebMaster :Olivier MangonI.B.P HOME