Table of contents

  1. Front Matter
  2. K. Kobayashl, M. Takahashi, H. Yamasaki
    Pages 81-88
  3. M. W. Shields
    Pages 89-98
  4. J. P. Braquelaire, B. Courcelle
    Pages 108-117
  5. Max Dauchet, Erick Timmerman
    Pages 118-136
  6. F. Blanchard, G. Hansel
    Pages 137-146
  7. G. Rauzy
    Pages 164-171
  8. Michel Leconte
    Pages 172-187
  9. Antonio Restivo, Sergio Salemi
    Pages 198-206
  10. Patrice Séébold
    Pages 207-215
  11. Back Matter

About these proceedings

Keywords

Finite Words automata decidability equality finite automata form formal proof language logic mapping object proof system theorem

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15641-0
  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15641-3
  • Online ISBN 978-3-540-39505-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book