Verkauf durch Sack Fachmedien

Smith

Implementation and Application of Automata

30th International Conference, CIAA 2026, Kingston, ON, Canada, August 5-8, 2026, Proceedings

Medium: Buch
ISBN: 978-3-032-31176-4
Verlag: Springer
Erscheinungstermin: 13.08.2026
Lieferfrist: bis zu 10 Tage

This book constitutes the refereed proceedings of the 30th International Conference on Implementation and Application of Automata, CIAA 2026, held in Kingston, ON, Canada, during August 5–8, 2026.The 14 full papers included in this volume were carefully reviewed and selected from 34 submissions.The CIAA 2026 proceedings deal with all aspects of application, implementation, and theory of automata and related structures.


Produkteigenschaften


  • Artikelnummer: 9783032311764
  • Medium: Buch
  • ISBN: 978-3-032-31176-4
  • Verlag: Springer
  • Erscheinungstermin: 13.08.2026
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2026
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 371 g
  • Seiten: 217
  • Format (B x H x T): 155 x 235 x 14 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

.- CONTRIBUTED PAPERS : .- Efficiently Testing Emptiness of Automata on Linear Orderings. .- Boolean Products of Languages. .- Bandwidth of nondeterministic finite automata. .- The Stanat-Weiss Pumping Lemma, Revisited (Extended Abstract). .- Decidability of Regularity for Families of Languages. .- Impartial Derivation Games on Context-Free Grammars. .- Decomposing regular languages under shuffle along trajectories. .- Pattern matching under R-congruence. .- Hyper-Minimization for Deterministic Register Automata. .- On the state complexity of two-way reversible finite automata. .- Efficiently Finding Minimal Absent Subsequences in a String. .- Measure Many Quantum Finite Automata on Infinite Words. .- Complexity of Linear Subsequences of k-Automatic Sequences. .- Minimal Deterministic Finite Automata from Alternating and Boolean Automata.