Click to the link ( Underlined or colored strings) to get more informations or retrieve the files.
In othercase informations are not available

litp.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

Last Changes : Wed Oct 2 15:34:09 MET DST 1996

WebMaster :Olivier MangonIBPI.B.P HOME