59 citations · 185 across the 53 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
Global Caching for the Alternation-free -Calculus
Daniel Hausmann, Lutz Schröder, Christoph Egger
We present a sound, complete, and optimal single-pass tableau algorithm for the alternation-free -calculus. The algorithm supports global caching with intermediate propagation a…
cs.LO2016
Regular Behaviours with Names
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and -equivalence on a conveniently abstract categorical level…