search result

Cover von A Complete Diagrammatic Calculus for Automata Simulation

A Complete Diagrammatic Calculus for Automata Simulation

Year: 2025
Media group: LIPIcs
Cover von Nominal Tree Automata with Name Allocation

Nominal Tree Automata with Name Allocation

Year: 2024
Media group: LIPIcs
Cover von Minimizing Cost Register Automata over a Field

Minimizing Cost Register Automata over a Field

Year: 2024
Media group: LIPIcs
Cover von Weighted One-Deterministic-Counter Automata

Weighted One-Deterministic-Counter Automata

Year: 2023
Media group: LIPIcs
Cover von An Introduction to Formal Languages and Automata
Search for this author
Year: 2023
Publisher: Boston, Jones and Bartlett Publishers
Media group: MONOGRAPHIE
Cover von Sorting Finite Automata via Partition Refinement

Sorting Finite Automata via Partition Refinement

Author: Olivares, Francisco; Prezza, Nicola
Year: 2023
Media group: LIPIcs
Cover von Probabilistic Input-Driven Pushdown Automata

Probabilistic Input-Driven Pushdown Automata

Year: 2023
Media group: LIPIcs
Cover von Parikh One-Counter Automata

Parikh One-Counter Automata

Year: 2023
Media group: LIPIcs
Cover von History-Deterministic Parikh Automata

History-Deterministic Parikh Automata

Year: 2023
Media group: LIPIcs
Cover von Constraint Automata on Infinite Data Trees

Constraint Automata on Infinite Data Trees

from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures
Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0