RAIRO Informatique théorique
Latest Publications

TOTAL DOCUMENTS

203
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By Edp Sciences

0399-0540
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On the equivalence of compositions of morphisms and inverse morphisms on regular languages

1985 ◽  
Vol 19 (3) ◽  
pp. 203-211 ◽  
Author(s):  
J. Karhumäki ◽  
H. C. M. Kleijn
Keyword(s):  
Regular Languages

scholarly journals Rebalancing operations for deletions in AVL-trees

1985 ◽  
Vol 19 (4) ◽  
pp. 323-329 ◽  
Author(s):  
Athanasios K. Tsakalidis
Keyword(s):  
Avl Trees

scholarly journals Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs

1985 ◽  
Vol 19 (1) ◽  
pp. 33-41
Author(s):  
Raul Kantor ◽  
Giovanna Sontacchi

scholarly journals Automates et commutations partielles

1985 ◽  
Vol 19 (1) ◽  
pp. 21-32 ◽  
Author(s):  
Robert Cori ◽  
Dominique Perrin

scholarly journals On temporal program verification rules

1985 ◽  
Vol 19 (3) ◽  
pp. 261-280 ◽  
Author(s):  
F. Kröger
Keyword(s):  
Program Verification ◽  
Temporal Program

scholarly journals Strong iterative pairs and the regularity of context-free languages

1985 ◽  
Vol 19 (1) ◽  
pp. 43-56 ◽  
Author(s):  
A. Ehrenfeucht ◽  
G. Rozenberg
Keyword(s):  
Context Free

scholarly journals On a class of infinite words with bounded repetitions

1985 ◽  
Vol 19 (4) ◽  
pp. 337-349 ◽  
Author(s):  
Anton Černý
Keyword(s):  
Infinite Words
Load More ...
Sign in / Sign up

Export Citation Format

Share Document