search result

Cover von Weighted Tiling Systems for Graphs

Weighted Tiling Systems for Graphs

Evaluation Complexity
Year: 2020
Media group: LIPIcs
Cover von Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15402
Media group: MONOGRAPHIE
Cover von Edit Distance of Finite State Transducers

Edit Distance of Finite State Transducers

Year: 2024
Media group: LIPIcs
Cover von Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers

Year: 2024
Media group: LIPIcs
Cover von An Automata-Theoretic Approach to the Verification of Distributed Algorithms

An Automata-Theoretic Approach to the Verification of Distributed Algorithms

Year: 2015
Media group: LIPIcs
Cover von 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 360
Media group: LIPIcs
Cover von Data Multi-Pushdown Automata

Data Multi-Pushdown Automata

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0