Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1996

21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings

Editors: Penczek, Wojciech, Szalas, Andrzej (Eds.)

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-3-540-70597-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.00
price for USA
  • ISBN 978-3-540-61550-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.
The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.

Table of contents (8 chapters)

  • Theory and practice of action semantics

    Peter D. Mosses

    Pages 37-61

  • Nonmonotonic rule systems: Forward chaining, constraints, and complexity

    Jeffrey B. Remmel

    Pages 113-113

  • A modal logic for data analysis

    Philippe Balbiani

    Pages 167-179

  • Shortest path problems with time constraints

    X. Cai, T. Kloks, C. K. Wong

    Pages 255-266

  • On the power of nonconservative PRAM

    Anders Dessmark, Andrzej Lingas

    Pages 303-311

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-3-540-70597-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.00
price for USA
  • ISBN 978-3-540-61550-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Foundations of Computer Science 1996
Book Subtitle
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
Editors
  • Wojciech Penczek
  • Andrzej Szalas
Series Title
Lecture Notes in Computer Science
Series Volume
1113
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70597-0
DOI
10.1007/3-540-61550-4
Softcover ISBN
978-3-540-61550-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 602
Topics