Skip to main content
  • Conference proceedings
  • © 1986

CAAP'86

11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 214)

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

  2. On the equivalence of synchronization sets

    • J. Beauquier, B. Bérard
    Pages 17-29
  3. Exact computation sequences

    • Alex Pelin, Jean H. Gallier
    Pages 45-59
  4. An algebraic theory of flowchart schemes

    • Gh. Åžtefănescu
    Pages 60-73
  5. An algebraic formalism for graphs

    • Michel Bauderon, Bruno Courcelle
    Pages 74-84
  6. Membership for growing context sensitive grammars is polynomial

    • Elias Dahlhaus, Manfred K. Warmuth
    Pages 85-99
  7. Weighted graphs : A tool for logic programming

    • Philippe Devienne, Patrick Lebegue
    Pages 100-111
  8. Probabilistic Ianov's schemes

    • D. Frutos Escrig
    Pages 142-157
  9. Alternating bottom-up tree recognizers

    • Kai Salomaa
    Pages 158-171
  10. Bottom-up recursion in trees

    • R. Casas, J-M. Steyaert
    Pages 172-182
  11. Basic tree transducers

    • Heiko Vogler
    Pages 183-195
  12. Trie partitioning process: Limiting distributions

    • Philippe Jacquet, Mireille Regnier
    Pages 196-210
  13. Random walks on trees

    • R. Schott
    Pages 225-237
  14. Infinite trees, markings and well foundedness

    • Ran Rinat, Nissim Francez, Orna Grumberg
    Pages 238-253

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access