Subscriber Authentication Point

EDPS Account

Volume 22 / No 1 (1988)

Free Access to the whole issue

RAIRO - Theoretical Informatics and Applications

Volume 22 / No 1 (1988)

Export the citation of the selected articles Export
Select all

Free Access

Sémantique logique et dénotationnelle des interpréteurs PROLOG p. 3

Jean-Paul Delahaye

Published online: 01 February 2017

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

Free Access

Sur une classe de transformations d'arbres p. 43

Symeon Bozapalidis

Published online: 01 February 2017

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

Free Access

A note on fixpoint techniques in data base recursive logic programs p. 49

Irène Guessarian

Published online: 01 February 2017

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

Free Access

Étude et implémentation d'un système de déduction pour logique algorithmique p. 57

Françoise Garcia

Published online: 01 February 2017

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

Free Access

Commutativity in groups presented by finite Church-Rosser Thue systems p. 93

Klaus Madlener and Friedrich Otto

Published online: 01 February 2017

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

Free Access

Bisections reconnaissables p. 113

G. Duchamp and J. Y. Thibon

Published online: 01 February 2017

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