2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2015
Synchronous Subsequentiality and Approximations to Undecidable Problems
Christian Wurm
We introduce the class of synchronous subsequential relations, a subclass of the synchronous relations which embodies some properties of subsequential relations. If we take relatio…
cs.LO2014★ 2 cited
Kleene Algebras, Regular Languages and Substructural Logics
Christian Wurm
We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness wi…