Conferences in DBLP

Colloquium on Trees in Algebra and Programming (CAAP) (caap)
1980 (conf/caap/1980)

1. 
   Regular extensions of iterative algebras and metric interpretations. [Citation Graph (, )][DBLP]
   
   
2. 
   Séries formelles reconnaissables d'arbres et applications. [Citation Graph (, )][DBLP]
   
   
3. 
   On the analysis of tree-matching algorithms. [Citation Graph (, )][DBLP]
   
   
4. 
   Sur un résultat récent de Laurent Chottin. [Citation Graph (, )][DBLP]
   
   
5. 
   Generation of trees. [Citation Graph (, )][DBLP]
   
   
6. 
   Nearly deterministic automata acceptation of infinite trees and a complexitiy of weak theory of SkS. [Citation Graph (, )][DBLP]
   
   
7. 
   Synthesis of subtree rewriting systems behaviour by solving equations. [Citation Graph (, )][DBLP]
   
   
8. 
   A criterion common to various continuous completions of albegras and X-categories. [Citation Graph (, )][DBLP]
   
   
9. 
   La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres? [Citation Graph (, )][DBLP]
   
   
10. 
    On equivalent transformations of binary search trees. [Citation Graph (, )][DBLP]
    
    
11. 
    Delayed evaluation trees and their application to sementics. [Citation Graph (, )][DBLP]
    
    
12. 
    Quelques propriétés des arbres penchés récursifs. [Citation Graph (, )][DBLP]
    
    
13. 
    A schematalogical approach to the alalysis of the procedure concept in algol-languages. [Citation Graph (, )][DBLP]
    
    
14. 
    Closure of recognisable tree-languages under intersection and morphisms. [Citation Graph (, )][DBLP]
    
    
15. 
    The data type ent and related operations in a linguistically oriented programming language. [Citation Graph (, )][DBLP]
    
    
16. 
    Programming languages as abstract data types. [Citation Graph (, )][DBLP]
    
    
17. 
    Unfolding Omega nets into trees (Résumé). [Citation Graph (, )][DBLP]
    
    
18. 
    Manipulation d'arbres syntaxiques et contruction de programmes (Résumé). [Citation Graph (, )][DBLP]
    
    
19. 
    Preuves de programmes sans induction. [Citation Graph (, )][DBLP]
    
    
20. 
    Delayed evaluation trees and their application to sementics (Additif). [Citation Graph (, )][DBLP]
    
    
21. 
    Unfolding Omega nets into trees. [Citation Graph (, )][DBLP]
    
    
22. 
    Manipulation d'arbres syntaxiques et contruction de programmes. [Citation Graph (, )][DBLP]
    
    
23. Marek Karpinski
    On global word definability and constructively definable sets in N_n. [Citation Graph (0, 0)][DBLP]
    CAAP, 1980, pp:57-63 [Conf]
    
24. 
    Finite automata on infinite trees and subtheories of SkS. [Citation Graph (, )][DBLP]
    
    
25. 
    L'arbre des cycles d'un graphe. [Citation Graph (, )][DBLP]