59 citations · 185 across the 53 of their papers we have counts for
Showing 2008 · cs.LOShow all
2 papers · 2 filters
cs.LO2008★ 4 cited
Bootstrapping Inductive and Coinductive Types in HasCASL
Lutz Schröder
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes…
cs.LO2008★ 12 cited
Shallow Models for Non-Iterative Modal Logics
Lutz Schröder, Dirk Patinson
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed…