Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Pettorossi |
Synthesis of subtree rewriting systems behaviour by solving equations. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Bernard J. Robinet |
La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres? |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Andrzej Wlodzimierz Mostowski |
Nearly deterministic automata acceptation of infinite trees and a complexity of weak theory of SkS. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | A. Pink |
The data type ent and related operations in a linguistically oriented programming language. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Gerardo Costa |
Delayed evaluation trees and their application to sementics. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Werner Damm, Elfriede Fehr |
A schematalogical approach to the alalysis of the procedure concept in algol-languages. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Manfred Broy, Martin Wirsing |
Programming languages as abstract data types. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | S. Gill Williamson |
L'arbre des cycles d'un graphe. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Norbert Cot |
Quelques propriétés des arbres penchés récursifs. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Egidio Astesiano, Gerardo Costa |
Delayed evaluation trees and their application to sementics (Additif). |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Helmut Thiele |
On equivalent transformations of binary search trees. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Gisbert Dittrich, Wolfgang Merzenich |
Unfolding Omega nets into trees (Résumé). |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Hagen Huwig, Axel Poigné |
A criterion common to various continuous completions of albegras and X-categories. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Didier Bégay, Laurent Kott |
Preuves de programmes sans induction. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | C. L. Liu 0001 |
Generation of trees. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Philippe Flajolet, Jean-Marc Steyaert |
On the analysis of tree-matching algorithms. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Dominique Gouyou-Beauchamps |
Sur un résultat récent de Laurent Chottin. |
CLAAP |
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 |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Andrzej Wlodzimierz Mostowski |
Finite automata on infinite trees and subtheories of SkS. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Jocelyne Mongy |
Closure of recognisable tree-languages under intersection and morphisms. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Jacques Guyard, Pierre Lescanne |
Manipulation d'arbres syntaxiques et contruction de programmes (Résumé). |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Jacques Guyard, Pierre Lescanne |
Manipulation d'arbres syntaxiques et contruction de programmes. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Jean Berstel, Christophe Reutenauer |
Séries formelles reconnaissables d'arbres et applications. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Jan A. Bergstra, Jerzy Tiuryn |
Regular extensions of iterative algebras and metric interpretations. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Gisbert Dittrich, Wolfgang Merzenich |
Unfolding Omega nets into trees. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|
1 | Marek Karpinski |
On global word definability and constructively definable sets in Nn. |
CLAAP |
1980 |
DBLP BibTeX RDF |
|