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)
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
