Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009227056/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference.".
- catalog contributor b13010153.
- catalog contributor b13010154.
- catalog contributor b13010155.
- catalog created "c2003.".
- catalog date "2003".
- catalog date "c2003.".
- catalog dateCopyrighted "c2003.".
- catalog description "Automata for Specifying Component Interfaces / Thomas A. Henzinger -- Automata on Words / Juhani Karhumaki -- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications / Nico Wallmeier, Patrick Hutten and Wolfgang Thomas -- Timing Parameter Characterization of Real-Time Systems / Farn Wang and Hsu-Chun Yen -- Constructing Buchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Buchi Automata / Carsten Fritz -- From Regular Weighted Expressions to Finite Automata / Jean-Marc Champarnaud, Eric Laugerotte, Faissal Ouardi and Djelloul Ziadi -- Bideterministic Automata and Minimal Representations of Regular Languages / Hellis Tamm and Esko Ukkonen.".
- catalog description "Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures. This volume contains 24 regular papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003) held in Santa Barbara, CA, USA, in July 2003 covering various topics in the theory, implementation, and application of automata and related structures. It also includes the abstracts of two invited lectures as well as the abstracts of the poster papers displayed during the conference.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xi, 312 p. :".
- catalog identifier "3540405615 (softcover : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2759".
- catalog issued "2003".
- catalog issued "c2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004 22".
- catalog subject "Computer science.".
- catalog subject "Computer software.".
- catalog subject "Logic design.".
- catalog subject "Machine theory Congresses.".
- catalog subject "QA267 .C524 2003".
- catalog tableOfContents "Automata for Specifying Component Interfaces / Thomas A. Henzinger -- Automata on Words / Juhani Karhumaki -- Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications / Nico Wallmeier, Patrick Hutten and Wolfgang Thomas -- Timing Parameter Characterization of Real-Time Systems / Farn Wang and Hsu-Chun Yen -- Constructing Buchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Buchi Automata / Carsten Fritz -- From Regular Weighted Expressions to Finite Automata / Jean-Marc Champarnaud, Eric Laugerotte, Faissal Ouardi and Djelloul Ziadi -- Bideterministic Automata and Minimal Representations of Regular Languages / Hellis Tamm and Esko Ukkonen.".
- catalog title "Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Santa Barbara (Calif., 2003) swd".
- catalog type "text".