Lecture Notes in Computer Science

Mathematical Foundations of Computer Science 1991

16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings

Authors: Tarlecki, Andrzej

Buy this book

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

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.

Table of contents (5 chapters)

  • Models for concurrency

    Mogens Nielsen

    Pages 43-46

  • A second-order pattern matching algorithm for the cube of typed λ-calculi

    Gilles Dowek

    Pages 151-160

  • Some results concerning 2-D on-line tessellation acceptors and 2-D alternating finite automata

    Oscar H. Ibarra, Tao Jiang, Hui Wang

    Pages 221-230

  • Two algorithms for approxmate string matching in static texts

    Petteri Jokinen, Esko Ukkonen

    Pages 240-248

  • A decidable case of the semi-unification problem

    Hans Leiß, Fritz Henglein

    Pages 318-327

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-47579-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-54345-9
  • 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 1991
Book Subtitle
16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
Authors
Series Title
Lecture Notes in Computer Science
Series Volume
520
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47579-8
DOI
10.1007/3-540-54345-7
Softcover ISBN
978-3-540-54345-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 437
Topics