Subscriber Authentication Point

EDPS Account

Volume 31 / No 6 (1997)

Free Access to the whole issue

RAIRO - Theoretical Informatics and Applications

Volume 31 / No 6 (1997)

Export the citation of the selected articles Export
Select all

Free Access

On generating all solutions of generalized satisfiability problems p. 499

N. Creignou and J.-J. Hebrard

Published online: 01 February 2017

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

Free Access

Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ p. 513

Samir Farkh and Karim Nour

Published online: 01 February 2017

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

Free Access

Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés p. 539

Karim Nour

Published online: 01 February 2017

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