1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... for Memory Logics -- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination...