search result

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
Cover von LIPIcs, Volume 58, MFCS'16, Complete Volume

LIPIcs, Volume 58, MFCS'16, Complete Volume

Year: 2016
Media group: LIPIcs
Cover von Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents

Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents

Year: 2016
Media group: LIPIcs
Cover von 41st International Symposium on Mathematical Foundations of Computer Science
MFCS 2016, August 22 - 26, 2016, Krakow, Poland
Search for this author
Year: 2016
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 58
Media group: LIPIcs
Cover von Minimizing Resources of Sweeping and Streaming String Transducers

Minimizing Resources of Sweeping and Streaming String Transducers

Year: 2016
Media group: LIPIcs
Cover von One-way Definability of Sweeping Transducer

One-way Definability of Sweeping Transducer

Year: 2015
Media group: LIPIcs
Cover von Verifying Recursive Active Documents with Positive Data Tree Rewriting

Verifying Recursive Active Documents with Positive Data Tree Rewriting

Year: 2010
Media group: ARTICLE
Cover von On Synthesis of Resynchronizers for Transducers

On Synthesis of Resynchronizers for Transducers

Year: 2019
Media group: LIPIcs
Cover von Formal Methods and Fault-Tolerant Distributed; 5
Forging an Alliance : pp. 60-79
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 5
Media group: DAGSTUHL REPORT
Cover von Front Matter, Table of Contents, Preface, Organization, List of Authors

Front Matter, Table of Contents, Preface, Organization, List of Authors

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0