Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 11 (1977)
no. 1
Sommaire
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
