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 31 (1997)
no. 5
Sommaire
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