Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1983

CAAP '83

Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings

Editors:

  1. Giorgio Ausiello
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Protasi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

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 (26 papers)

  1. Front Matter

    PDF

  2. Generalized heterogeneous algebras and partial interpretations

    • Manfred Broy, Martin Wirsing
    Pages 1-34

  3. Applicative information systems

    • M. Coppo, M. Dezani, G. Longo
    Pages 35-64

  6. A survey of NLC grammars

    • D. Janssens, G. Rozenberg
    Pages 114-128

  7. Prefix and perfect languages

    • J. Beauquier
    Pages 129-140

  9. VLSI mesh of trees for data base processing

    • M. A. Bonuccelli, E. Lodi, F. Luccio, P. Maestrini, L. Pagli
    Pages 155-166

  10. Continuite des transducteurs d'etats finis d'arbres

    • M. F. Claerebout, E. Lilin
    Pages 167-178

  11. Completeness results for a polymorphic type system

    • M. Coppo, E. Giovannetti
    Pages 179-190

  12. A class of program schemes based on tree rewriting systems

    • B. Courcelle, F. Lavandier
    Pages 191-204

  13. Complete sets of unifiers and matchers in equational theories

    • François Fages, Gérard Huet
    Pages 205-220

  20. Topological bandwidth

    • F. S. Makedon, C. H. Papadimitriou, I. H. Sudborough
    Pages 317-331
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: CAAP '83

  • Book Subtitle: Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings

  • Editors: Giorgio Ausiello, Marco Protasi

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-12727-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12727-7Published: 01 October 1983

  • eBook ISBN: 978-3-540-38714-5Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 418

  • Topics: Logics and Meanings of Programs

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation