search result

Cover von The Complexity of Reachability Problems in Strongly Connected Finite Automata

The Complexity of Reachability Problems in Strongly Connected Finite Automata

Year: 2025
Media group: LIPIcs
Cover von The Complexity of Separability for Semilinear Sets and Parikh Automata

The Complexity of Separability for Semilinear Sets and Parikh Automata

Year: 2025
Media group: LIPIcs
Cover von Nonuniform Deterministic Finite Automata over Finite Algebraic Structures

Nonuniform Deterministic Finite Automata over Finite Algebraic Structures

Year: 2025
Media group: LIPIcs
Cover von Gathering Teams of Deterministic Finite Automata on a Line

Gathering Teams of Deterministic Finite Automata on a Line

Year: 2025
Media group: LIPIcs
Cover von An Automata-Based Approach for Synchronizable Mailbox Communication

An Automata-Based Approach for Synchronizable Mailbox Communication

Year: 2024
Media group: LIPIcs
Cover von Invariants for One-Counter Automata with Disequality Tests

Invariants for One-Counter Automata with Disequality Tests

Year: 2024
Media group: LIPIcs
Cover von FO Logic on Cellular Automata Orbits Equals MSO Logic

FO Logic on Cellular Automata Orbits Equals MSO Logic

Year: 2024
Media group: LIPIcs
Cover von Functional Closure Properties of Finite ℕ-Weighted Automata

Functional Closure Properties of Finite ℕ-Weighted Automata

Year: 2024
Media group: LIPIcs
Cover von Languages Given by Finite Automata over the Unary Alphabet

Languages Given by Finite Automata over the Unary Alphabet

Author: Skrzypczak, Michał; Stephan, Frank
Year: 2023
Media group: LIPIcs
Cover von Synchronized CTL over One-Counter Automata

Synchronized CTL over One-Counter Automata

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0