Subscriber Authentication Point

EDPS Account

Volume 31 / No 5 (1997)

Free Access to the whole issue

RAIRO - Theoretical Informatics and Applications

Volume 31 / No 5 (1997)

Export the citation of the selected articles Export
Select all

Free Access

Négation constructive et axiomatique interne p. 411

G. Blanc and K. Liogier

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1997310504111

Free Access

On the difficulty of finding walks of length k p. 429

S. Basagni, D. Bruschi and F. Ravasio

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1997310504291

Free Access

Accurate computation of the relative entropy between stochastic regular grammars p. 437

R. C. Carrasco

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1997310504371

Free Access

Languages obtained from infinite words p. 445

T. Harju and L. Ilie

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1997310504451

Free Access

The pseudovariety $J$ is hyperdecidable p. 457

J. Almeida and M. Zeitoun

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1997310504571

Free Access

An analysis of Lambek's production machines p. 483

R. R. Pucella

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1997310504831