Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Pettorossi |
Synthesis of subtree rewriting systems behaviour by solving equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 63-74, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Bernard J. Robinet |
La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 83-94, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Andrzej Wlodzimierz Mostowski |
Nearly deterministic automata acceptation of infinite trees and a complexity of weak theory of SkS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 54-62, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | A. Pink |
The data type ent and related operations in a linguistically oriented programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 150-159, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Gerardo Costa |
Delayed evaluation trees and their application to sementics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 110-118, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Werner Damm, Elfriede Fehr |
A schematalogical approach to the alalysis of the procedure concept in algol-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 130-134, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Manfred Broy, Martin Wirsing |
Programming languages as abstract data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 160-177, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | S. Gill Williamson |
L'arbre des cycles d'un graphe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 241-261, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Norbert Cot |
Quelques propriétés des arbres penchés récursifs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 119-129, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Gerardo Costa |
Delayed evaluation trees and their application to sementics (Additif). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 199, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Helmut Thiele |
On equivalent transformations of binary search trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 95-109, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Gisbert Dittrich, Wolfgang Merzenich |
Unfolding Omega nets into trees (Résumé). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 178-179, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Hagen Huwig, Axel Poigné |
A criterion common to various continuous completions of albegras and X-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 75-82, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Didier Bégay, Laurent Kott |
Preuves de programmes sans induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 182-198, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | C. L. Liu 0001 |
Generation of trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 45-53, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Philippe Flajolet, Jean-Marc Steyaert |
On the analysis of tree-matching algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 22-40, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Dominique Gouyou-Beauchamps |
Sur un résultat récent de Laurent Chottin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 41-44, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | |
Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![Université de Lille 1 The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Andrzej Wlodzimierz Mostowski |
Finite automata on infinite trees and subtheories of SkS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 228-240, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Jocelyne Mongy |
Closure of recognisable tree-languages under intersection and morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 135-149, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Jacques Guyard, Pierre Lescanne |
Manipulation d'arbres syntaxiques et contruction de programmes (Résumé). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 180-181, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Jacques Guyard, Pierre Lescanne |
Manipulation d'arbres syntaxiques et contruction de programmes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 208-224, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Jean Berstel, Christophe Reutenauer |
Séries formelles reconnaissables d'arbres et applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 11-21, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Jan A. Bergstra, Jerzy Tiuryn |
Regular extensions of iterative algebras and metric interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 1-10, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Gisbert Dittrich, Wolfgang Merzenich |
Unfolding Omega nets into trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 200-207, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
1 | Marek Karpinski |
On global word definability and constructively definable sets in Nn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAAP ![In: Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 févier 1980, pp. 225-227, 1980, Université de Lille 1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|