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 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38716-9
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $99.00 net
( 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 (2 chapter)

  • Trees as data and file structures

    J. Nievergelt

    Pages 35-45

    Buy Chapter $29.95
  • Discriminability of infinite sets of terms in the D∞-models of the λ-calculus

    S. Ronchi della Rocca

    Pages 350-364

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $69.99 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38716-9
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $99.00 net
( price for USA )
  • ISBN 978-3-540-10828-3
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

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
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
Topics