search result

Cover von On Flat Lossy Channel Machines

On Flat Lossy Channel Machines

Year: 2021
Media group: LIPIcs
Cover von Ideal-Based Algorithms for the Symbolic Verification of Well-Structured Systems (Invited Talk)

Ideal-Based Algorithms for the Symbolic Verification of Well-Structured Systems (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von The Height of Piecewise-Testable Languages with Applications in Logical Complexity

The Height of Piecewise-Testable Languages with Applications in Logical Complexity

Year: 2016
Media group: LIPIcs
Cover von Decidability in the Logic of Subsequences and Supersequences

Decidability in the Logic of Subsequences and Supersequences

Year: 2015
Media group: LIPIcs
Cover von A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words

A Tropical Approach to the Compositional Piecewise Complexity of Words and Compressed Words

Year: 2025
Media group: LIPIcs
Cover von On Termination for Faulty Channel Machines

On Termination for Faulty Channel Machines

Year: 2008
Media group: ARTICLE
OPEN V 11.1.0.0