Advertisement

Implementation and Application of Automata

6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers

  • Bruce W. Watson
  • Derick Wood
Conference proceedings CIAA 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2494)

Table of contents

  1. Front Matter
    Pages I-X
  2. Iñaki Alegria, Maxux Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, Ruben Urizar
    Pages 1-12
  3. Anne Bergeron, Sylvie Hamel
    Pages 13-26
  4. Jean-Marc Champarnaud, Gérard Duchamp
    Pages 52-64
  5. Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer
    Pages 74-86
  6. Jean-Philippe Dubernard, Dominique Geniet
    Pages 87-100
  7. Jacques Farré, José Fortes Gálvez
    Pages 101-114
  8. Nathalie Friburger, 1]Denis Maurel
    Pages 115-124
  9. Jorge Graña, Fco. Mario Barcala, Miguel A. Alonso
    Pages 135-148
  10. Jan Holub
    Pages 149-160
  11. Markus Holzer, Martin Kutrib
    Pages 161-176
  12. Frank Katritzke, Wolfgang Merzenich, Michael Thomas
    Pages 177-189
  13. Bořivoj Melichar, Jan Skryja
    Pages 202-213
  14. Jim Morey, Kamran Sedig, Robert E. Mercer, Wayne Wilson
    Pages 214-220
  15. Nadia Nedjah, Luiza de Macedo Mourelle
    Pages 221-233
  16. Lynette van Zijl
    Pages 263-273
  17. Lynette van Zijl
    Pages 274-288
  18. Back Matter
    Pages 289-289

About these proceedings

Keywords

Simulation algorithms automata automata computations automata theory cellular automata finite automata formal languages formal methods foundations implementations modeling natural language proving statecharts

Editors and affiliations

  • Bruce W. Watson
    • 1
  • Derick Wood
    • 2
  1. 1.Department of Computer ScienceUniversity of PretoriaPretoriaSouth Africa
  2. 2.Department of Computer ScienceHong Kong University of Science and TechnologyKowloonHong Kong

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36390-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00400-4
  • Online ISBN 978-3-540-36390-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site