Logical Methods in Computer Science, Volume 9
: Vector Addition System Reversible Reachability Problem.
: Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof).
, Moritz Müller
: An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction.
: Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems.
: Cartesian closed 2-categories and permutation equivalence in higher-order rewriting.
: Pebble Games, Proof Complexity, and Time-Space Trade-offs.
: All Linear-Time Congruences for Familiar Operators.
: Approximation systems for functions in topological and in metric spaces.
: Expansions of MSO by cardinality relations.