Implementation and application of automata : 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022, Proceedings / Pascal Caron, Ludovic Mignot (eds.).
CIAA (Conference) (26th : 2022 : Rouen, France); Caron, Pascal, editor.; Mignot, Ludovic, editor.
2022
QA267 .C53 2022eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Implementation and application of automata : 26th International Conference, CIAA 2022, Rouen, France, June 28-July 1, 2022, Proceedings / Pascal Caron, Ludovic Mignot (eds.).
Meeting Name CIAA (Conference) (26th : 2022 : Rouen, France)
ISBN 9783031074691 (electronic bk.)
3031074696 (electronic bk.)
9783031074684 (print)
DOI https://doi.org/10.1007/978-3-031-07469-1
Published Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource (x, 251 pages) : illustrations (some color).
Item Number 10.1007/978-3-031-07469-1 doi
Call Number QA267 .C53 2022eb
Dewey Decimal Classification 006.3
Summary This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 2, 2022).
Added Author Caron, Pascal, editor.
Mignot, Ludovic, editor.
Series Lecture notes in computer science ; 13266. 1611-3349
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
On 25 Years of CIAA Through the Lens of Data Science
Manipulation of Regular Expressions Using Derivatives: an Overview
How to Settle the ReDoS Problem: Back to the Classical Automata Theory
Ordered Context-Free Grammars
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription
A Similarity Measure for Formal Languages Based on Convergent Geometric Series
Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata
Some results concerning careful synchronization of partial automata and subset synchronization of DFA's
A Toolkit for Parikh Matrices
Syntax Checking Either Way
On the Power of Pushing or Stationary Moves for Input-Driven Pushdown Automata
The Cut Operation in Subclasses of Convex Languages (Extended Abstract)
Variations of the Separating Words Problem
Homomorphisms on graph-walking automata
Nondeterministic State Complexity of Site-Directed Deletion
Energy Complexity of Regular Language Recognition
Real-Time, Constant-Space, Constant-Randomness Verifiers
Constrained Synchronization for Monotonic, Solvable and Automata with Simple Idempotents
An Ambiguity Hierarchy of Weighted Context-free Grammars.

Browse Subjects

Show more subjects...

Statistics

from
to
Export