RAIRO. Informatique théorique, Volume 11 (1977) no. 1

Table of contents

Note sur la suppression des étiquettes en programmation

Raymond, F. H.

p. 3-16

The decidability of the equivalence problem for polynomially bounded DOL sequences

Karhumäki, Juhani

p. 17-28

Cônes rationnels commutativement clos

Latteux, Michel

p. 29-51

Characterizations of the Dyck sets

Wrathall, Celia

p. 53-62

Sémantique des structures de contrôle

Robinet, Bernard; Nozick, François

p. 63-74

Reducibility as a tool to extend the power of approximation algorithms the minimization of boolean expressions

Aiello, A.; Burattini, E.; Massarotti, A.

p. 75-82