search result

Cover von Minimization of Streaming Transducers

Minimization of Streaming Transducers

Year: 2026
Media group: LIPIcs
Cover von Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems
Author: Puppis, Gabriele Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5955
Media group: MONOGRAPHIE
Cover von Equivalence of Finite-Valued Streaming String Transducers Is Decidable

Equivalence of Finite-Valued Streaming String Transducers Is Decidable

Year: 2019
Media group: LIPIcs
Cover von The Many Facets of String Transducers

The Many Facets of String Transducers

Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 374, ICALP 2026, Complete Volume

LIPIcs, Volume 374, ICALP 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 50th International Colloquium on Automata, Languages, and Programming
ICALP 2023 : July 10 - 14, 2023, Paderborn, Germany
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 261
Media group: LIPIcs
Cover von Origin-Equivalence of Two-Way Word Transducers Is in PSPACE

Origin-Equivalence of Two-Way Word Transducers Is in PSPACE

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0