Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

CAAP '90

15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

Editors: Arnold, Andre (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47042-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-52590-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • On the power of bounded concurrency II: The pushdown automata level

    Pages 1-17

    Hirst, Tirza (et al.)

  • Trees everywhere

    Pages 18-41

    Viennot, Xavier Gérard

  • Combinatory forms for equational programming: Instances, unification and narrowing

    Pages 42-56

    Bellia, M. (et al.)

  • Graphical versus logical specifications

    Pages 57-71

    Boudol, Gérard (et al.)

  • More efficient bottom-up tree pattern matching

    Pages 72-86

    Cai, J. (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47042-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-52590-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CAAP '90
Book Subtitle
15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
Editors
  • Andre Arnold
Series Title
Lecture Notes in Computer Science
Series Volume
431
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47042-7
DOI
10.1007/3-540-52590-4
Softcover ISBN
978-3-540-52590-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 288
Topics