Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. CAAP 1994: Edinburgh, U.K.
- Sophie Tison
:
Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings. Lecture Notes in Computer Science 787, Springer 1994, ISBN 3-540-57879-X
Invited Papers
- Hubert Comon, Ralf Treinen:
Ordering Constraints on Trees. 1-14 - Joost Engelfriet:
Graph Grammars and Tree Transducers. 15-36
Contributed Papers
- Fabio Alessi:
Type Preorders. 37-51 - Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo:
Compilative Constructive Negation in Constraint Logic Programs. 52-67 - Alain Cournier, Michel Habib:
A New Linear Algorithm for Modular Decomposition. 68-84 - Philippe de Groote:
A CPS-Translation of the Lambda-µ-Calculus. 85-99 - Frank Drewes:
A Lower Bound on the Growth of Functions Computed by Tree Transductions. 100-114 - Javier Esparza:
On the Decidability of Model Checking for Several µ-calculi and Petri Nets. 115-129 - Raffaele Giancarlo, Filippo Mignosi:
Generalizations of the Periodicity Theorem of Fine and Wilf. 130-141 - Reinhold Heckmann:
Probabilistic Domains. 142-156 - Dieter Hofbauer, Maria Huber, Gregory Kucherov:
Some Results on Top-Context-Free Tree Languages. 157-171 - Zurab Khasidashvili:
On Higher Order Recursive Program Schemes. 172-186 - Nils Klarlund, Michael I. Schwartzbach:
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). 187-201 - Dietrich Kuske:
Nondeterministic Automata with Concurrency Relations and Domains. 202-217 - Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri:
Algebraic and Combinatorial Properties of Simple, Coloured Walks. 218-233 - Yves Métivier, Nasser Saheb:
Probabilistic Analysis of an Election Algorithm in a Tree. 234-245 - Thomas Noll:
On the First-Order Equivalence of Call-by-Name and Call-by-Value. 246-260 - Enno Ohlebusch:
On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems. 261-275 - Jens Palsberg:
Flobal Program Analysis in Constraint Form. 276-290 - Doron A. Peled:
On Projective and Separable Properties. 291-308 - Owen Rambow, Giorgio Satta:
A Rank Hierarchy for Determinsitic Tree-Walking Transducers. 309-321 - Bodonirina Ratoandromanana, Denis Robilliard:
Superposition in Picture Languages. 322-334 - Morten Heine Sørensen:
Grammar-Based Data-Flow Analysis to Stop Deforestation. 335-351
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
