Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 33 (1999)
no. 3
Précédent
Suivant
Volume 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
