Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Lecture Notes in Computer Science

STACS 86

3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986

Editors: Monien, B., Vidal-Naquet, G. (Eds.)

Buy this book

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

Table of contents (30 chapters)

  • Abstract interpretation of denotational definitions

    Nielson, Flemming

    Pages 1-20

  • Temporal reasoning under generalized fairness constraints

    Allen Emerson, E. (et al.)

    Pages 21-36

  • Decidabilite de l'egalite des Langages Algebriques Infinitaires Simples

    Caucal, D.

    Pages 37-48

  • Some probabilistic powerdomains in the category SFP

    Escrig, D. Frutos

    Pages 49-59

  • Ions and local definitions in logic programming

    Nait Abdallah, M. A.

    Pages 60-72

Buy this book

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

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
STACS 86
Book Subtitle
3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
Editors
  • B. Monien
  • G. Vidal-Naquet
Series Title
Lecture Notes in Computer Science
Series Volume
210
Copyright
1986
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39758-8
DOI
10.1007/3-540-16078-7
Softcover ISBN
978-3-540-16078-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 372
Topics