Implementation and Application of Automata - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 15)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030791209, 9783030791216

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ambiguity Hierarchies for Weighted Tree Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_12 ◽

2021 ◽

pp. 140-151

Author(s):

Andreas Maletti ◽

Teodora Nasz ◽

Kevin Stier ◽

Markus Ulbricht

Keyword(s):

Tree Automata ◽

Weighted Tree ◽

Weighted Tree Automata

Download Full-text

Degrees of Restriction for Two-Dimensional Automata

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_7 ◽

2021 ◽

pp. 77-89

Author(s):

Taylor J. Smith ◽

Kai Salomaa

Keyword(s):

Two Dimensional

Download Full-text

The Commutative Closure of Shuffle Languages over Group Languages is Regular

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_5 ◽

2021 ◽

pp. 53-64

Author(s):

Stefan Hoffmann

Download Full-text

Back to the Future: A Fresh Look at Linear Temporal Logic

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_1 ◽

2021 ◽

pp. 3-13

Author(s):

Javier Esparza

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Download Full-text

The Range of State Complexities of Languages Resulting from the Cascade Product—The Unary Case (Extended Abstract)

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_8 ◽

2021 ◽

pp. 90-101

Author(s):

Markus Holzer ◽

Christian Rauch

Download Full-text

Boolean Kernels of Context-Free Languages

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_13 ◽

2021 ◽

pp. 152-164

Author(s):

Martin Kutrib ◽

Luca Prigioniero

Keyword(s):

Download Full-text

Memoized Regular Expressions

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_4 ◽

2021 ◽

pp. 39-52

Author(s):

Brink van der Merwe ◽

Jacobie Mouton ◽

Steyn van Litsenborgh ◽

Martin Berglund

Keyword(s):

Regular Expressions

Download Full-text

Regularity Conditions for Iterated Shuffle on Commutative Regular Languages

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_3 ◽

2021 ◽

pp. 27-38

Author(s):

Stefan Hoffmann

Keyword(s):

Regular Languages ◽

Regularity Conditions

Download Full-text

Approximate Hashing for Bioinformatics

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_15 ◽

2021 ◽

pp. 178-189

Author(s):

Guy Arbitman ◽

Shmuel T. Klein ◽

Pierre Peterlongo ◽

Dana Shapira

Download Full-text

Say No to Case Analysis: Automating the Drudgery of Case-Based Proofs

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79121-6_2 ◽

2021 ◽

pp. 14-24

Author(s):

Jeffrey Shallit

Keyword(s):

Case Analysis ◽

Download Full-text