Revue française d automatique informatique recherche opérationnelle Informatique théorique
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Edp Sciences

0397-9326

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sur la complexité de certains algorithmes où intervient la séparation des racines d'un polynôme

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r200511 ◽

1976 ◽

Vol 10 (R2) ◽

pp. 51-55 ◽

Cited By ~ 1

Author(s):

Maurice Mignotte

Download Full-text

On effective speed-up and long proofs of trivial theorems in formal theories

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r100291 ◽

1976 ◽

Vol 10 (R1) ◽

pp. 29-38 ◽

Cited By ~ 3

Author(s):

J. Hartmanis

Keyword(s):

Speed Up ◽

Effective Speed ◽

Formal Theories

Download Full-text

Remarks on DOL growth sequences

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r300231 ◽

1976 ◽

Vol 10 (R3) ◽

pp. 23-34 ◽

Cited By ~ 3

Author(s):

Matti Soittola

Download Full-text

Hierarchies of aperiodic languages

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r200331 ◽

1976 ◽

Vol 10 (R2) ◽

pp. 33-49 ◽

Cited By ~ 19

Author(s):

Janusz A. Brzozowski

Download Full-text

Une formalisation de la sémantique des langages de programmation

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r200051 ◽

1976 ◽

Vol 10 (R2) ◽

pp. 5-32 ◽

Cited By ~ 2

Author(s):

J.-P. Finance

Download Full-text

Valeurs propres et vecteurs propres en classification hiérarchique

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r100391 ◽

1976 ◽

Vol 10 (R1) ◽

pp. 39-46 ◽

Cited By ~ 12

Author(s):

M. Gondran

Download Full-text

Bottom-up computation of recursive programs

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r100471 ◽

1976 ◽

Vol 10 (R1) ◽

pp. 47-82 ◽

Cited By ~ 11

Author(s):

G. Berry

Keyword(s):

Bottom Up ◽

Recursive Programs

Download Full-text

Transductions de forêts reconnaissables monadiques, forêts corégulières

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r100051 ◽

1976 ◽

Vol 10 (R1) ◽

pp. 5-28 ◽

Cited By ~ 6

Author(s):

André Arnold ◽

Max Dauchet

Download Full-text

Éditorial

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r200031 ◽

1976 ◽

Vol 10 (R2) ◽

pp. 3-3

Author(s):

Download Full-text

Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques

Revue française d automatique informatique recherche opérationnelle Informatique théorique ◽

10.1051/ita/197610r200571 ◽

1976 ◽

Vol 10 (R2) ◽

pp. 57-81

Author(s):

Pierre Lescanne

Download Full-text

Revue française d automatique informatique recherche opérationnelle Informatique théoriqueLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Edp Sciences

Sur la complexité de certains algorithmes où intervient la séparation des racines d'un polynôme

On effective speed-up and long proofs of trivial theorems in formal theories

Remarks on DOL growth sequences

Hierarchies of aperiodic languages

Une formalisation de la sémantique des langages de programmation

Valeurs propres et vecteurs propres en classification hiérarchique

Bottom-up computation of recursive programs

Transductions de forêts reconnaissables monadiques, forêts corégulières

Éditorial

Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques

Revue française d automatique informatique recherche opérationnelle Informatique théorique
Latest Publications