Lecture Notes in Computer Science

CAAP '81

Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings

Editors: Astesiano, E., Böhm, C. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-38716-9
  • 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
  • ISBN 978-3-540-10828-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (3 chapters)

  • Trees as data and file structures

    J. Nievergelt

    Pages 35-45

  • Differents types de derivations infinies dans les grammaires algebriques d'arbres

    N. Polian

    Pages 340-349

  • Discriminability of infinite sets of terms in the D∞-models of the λ-calculus

    S. Ronchi della Rocca

    Pages 350-364

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-38716-9
  • 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
  • ISBN 978-3-540-10828-3
  • 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 '81
Book Subtitle
Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
Editors
  • E. Astesiano
  • C. Böhm
Series Title
Lecture Notes in Computer Science
Series Volume
112
Copyright
1981
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38716-9
DOI
10.1007/3-540-10828-9
Softcover ISBN
978-3-540-10828-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 365
Topics