1 citations · 1 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AR2021
Dynamic Lockstep Processors for Applications with Functional Safety Relevance
Hans Dermot Doran, Timo Lang
Lockstep processing is a recognized technique for helping to secure functional-safety relevant processing against, for instance, single upset errors that might cause faulty executi…
cs.LO2021★ 1 cited
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proo…