Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 33 (1999)
no. 3
Sommaire
Unavoidable set : extension and reduction
Phan Trung Huy
;
Nguyen Huong Lam
p. 213-225
Normalisation of the theory
𝐓
of Cartesian closed categories and conservativity of extensions
m
a
t
h
b
f
T
[
x
]
of
m
a
t
h
b
f
T
Preller, Anne
;
Duroux, P.
p. 227-257
On existentially first-order definable languages and their relation to NP
Borchert, Bernd
;
Kuske, Dietrich
;
Stephan, Frank
p. 259-269
There is no complete axiom system for shuffle expressions
Szepietowski, A.
p. 271-277
Non-looping string rewriting
Geser, Alfons
;
Zantema, Hans
p. 279-301
Lower space bounds for accepting shuffle languages
Szepietowski, Andrzej
p. 303-307