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