Trees in algebra and programming, CAAP'94 : 19th international colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings /

Trees in algebra and programming, CAAP'94 : 19th international colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: International Colloquium on Trees in Algebra and Programming
Other Authors: Tison, Sophie
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1994.
Series:Lecture notes in computer science ; 787.
Subjects:
Trees (Graph theory) > Data processing > Congresses.
Data structures (Computer science) > Congresses.
Computational complexity > Congresses.
Table of Contents:
  • Ordering Constraints on Trees / H. Comon and R. Treinen
  • Graph Grammars and Tree Transducers / J. Engelfriet
  • Type Preorders / F. Alessi
  • Compilative Constructive Negation in Constraint Logic Programs / P. Bruscoli, F. Levi, G. Levi and M. C. Meo
  • A New Linear Algorithm for Modular Decomposition / A. Cournier and M. Habib
  • A CPS-Translation of the [lambda][mu]-Calculus / P. de Groote
  • A Lower Bound on the Growth of Functions Computed by Tree Transductions / F. Drewes
  • On the Decidability of Model Checking for Several [mu]-Calculi and Petri Nets / J. Esparza
  • Generalizations of the Periodicity Theorem of Fine and Wilf / R. Giancarlo and F. Mignosi
  • Probabilistic Domains / R. Heckmann
  • Some Results on Top-Context-Free Tree Languages / D. Hofbauer, M. Huber and G. Kucherov
  • On Higher Order Recursive Program Schemes / Z. Khasidashvili
  • Graphs and Decidable Transductions Based on Edge Constraints / N. Klarlund and M. I. Schwartzbach.
  • Non-Deterministic Automata with Concurrency Relations and Domains / D. Kuske
  • Algebraic and Combinatorial Properties of Simple, Coloured Walks / D. Merlini, R. Sprugnoli and M. C. Verri
  • Probabilistic Analysis of an Election Algorithm in a Tree / Y. Metivier and N. Saheb
  • On the First-Order Equivalence of Call-by-Name and Call-by-Value / T. Noll
  • On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems / E. Ohlebush
  • Global Program Analysis in Constraint Form / J. Palsberg
  • On Projective and Separable Properties / D. Peled
  • A Rank Hierarchy for Deterministic Tree-Walking Transducers / O. Rambow and G. Satta
  • Superposition in Picture Languages / B. Ratoandromanana and D. Robilliard
  • A Grammar-Based Data-Flow Analysis to Stop Deforestation / M. H. Sorensen.

Similar Items