Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 31 (1997)
Issue no. 1
Table of Contents
Detecting the morphic images of a word : improving the general algorithm
Néraud, Jean
p. 1-14
Fair expressions and regular languages over lists
Breveglieri, L.
p. 15-66
Undecidable event detection problems for ODEs of dimension one and two
Ruohonen, Keijo
p. 67-79
On lindenmayerian rational subsets of monoids
Honkala, J.
p. 81-96
Issue no. 2
Table of Contents
Introduction à l'algorithmique des objets partagés
Charron-Bost, Bernadette
;
Cori, Robert
;
Petit, Antoine
p. 97-148
A syntactic characterization of bounded-rank decision trees in terms of decision lists
Galesi, Nicola
p. 149-158
The laterality problem for non-erasing Turing machines on
{
0
,
1
}
is completely solved
Margenstern, Maurice
p. 159-204
Issue no. 3
Table of Contents
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
Hibti, M.
;
Legeard, B.
;
Lombardi, H.
p. 205-236
On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups
Blanchet-Sadri, F.
p. 237-250
Skip trees, an alternative data structure to skip lists in a concurrent approach
Messeguer, Xavier
p. 251-269
Decimations and sturmian words
Justin, Jacques
;
Pirillo, Giuseppe
p. 271-290
Polynomial size test sets for commutative languages
Hakala, Ismo
;
Kortelainen, Juha
p. 291-304
Issue no. 4
Table of Contents
Calculs approchés de la borne inférieure de valeurs réparties
Charron-Bost, Bernadette
;
Tel, Gérard
p. 305-330
On the power of parallel communicating grammar systems with right-linear components
Dumitrescu, S.
;
Păun, G.
p. 331-354
A hierarchy of cyclic languages
Carton, O.
p. 355-369
A selection property of the boolean
μ
-calculus and some of its applications
Arnold, André
p. 371-384
Énumération des cartes pointées sue la bouteille de Klein
Arquès, Didier
;
Béraud, Jean-François
p. 385-409
Issue no. 5
Table of Contents
Négation constructive et axiomatique interne
Blanc, G.
;
Liogier, K.
p. 411-428
On the difficulty of finding walks of length k
Basagni, S.
;
Bruschi, D.
;
Ravasio, F.
p. 429-435
Accurate computation of the relative entropy between stochastic regular grammars
Carrasco, R. C.
p. 437-444
Languages obtained from infinite words
Harju, T.
;
Ilie, L.
p. 445-455
The pseudovariety
J
is hyperdecidable
Almeida, J.
;
Zeitoun, M.
p. 457-482
An analysis of Lambek's production machines
Pucella, R. R.
p. 483-497
Issue no. 6
Table of Contents
On generating all solutions of generalized satisfiability problems
Creignou, N.
;
Hebrard, J.-J.
p. 499-511
Résultats de complétude pour des classes de types du système
𝒜ℱ
2
Farkh, Samir
;
Nour, Karim
p. 513-537
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Nour, Karim
p. 539-558