Go to main content

Implementation and application of automata : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / Benedek Nagy, editor.

CIAA (Conference) (27th : 2023 : Famagusta, Cyprus); Nagy, Benedek, editor.
2023
QA267 .C53 2023eb
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite

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 : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / Benedek Nagy, editor.
Meeting Name
CIAA (Conference) (27th : 2023 : Famagusta, Cyprus)
ISBN
9783031402470 (electronic bk.)
3031402472 (electronic bk.)
9783031402463
3031402464
DOI
https://doi.org/10.1007/978-3-031-40247-0
Published
Cham : Springer, 2023.
Language
English
Description
1 online resource (xii, 304 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-40247-0 doi
Call Number
QA267 .C53 2023eb
Dewey Decimal Classification
006.3
Summary
This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19-22, 2023. The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions. The topics of the papers cover 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 August 17, 2023).
Added Author
Nagy, Benedek, editor.
Series
Lecture notes in computer science ; 14151.
Available in Other Form
Implementation and Application of Automata
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Finite automata as verifiers
Binary Coded Unary Regular Languages
A Survey on Automata with Translucent Letters
Earliest Query Answering for Deterministic Stepwise Hedge Automata
Constrained Multi-Tildes
On the smallest synchronizing terms of finite tree automata
Universal First-Order Quantification over Automata
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
Sweep complexity revisited
The Pumping Lemma for Regular Languages is Hard
M-equivalence of Parikh Matrix over a Ternary Alphabet
Operational Complexity in Subregular Classes
When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem
Enhanced Ternary Fibonacci Codes
Sweeping Input-Driven Pushdown Automata
Verified Verifying: SMT-LIB for Strings in Isabelle
Weighted Bottom-up and Top-down Tree Transformations Are Incomparable
Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
A time to cast away stones
Two-way Machines and de Bruijn Words
Transduction of Automatic Sequences and Applications
Measuring Power of Generalised Definite Languages
Smaller Representation of Compiled Regular Expressions.

Browse Subjects

Show more subjects...

Statistics

from
to
Export