Journal: Journal of Symbolic Computation

Volume 46, Issue 3

219 -- 221Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll. Foreword
222 -- 245Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König. A lattice-theoretical perspective on adhesive categories
246 -- 271Benjamin Braatz, Ulrike Golas, Thomas Soboll. How to delete categorically - Two pushout complement constructions
272 -- 293Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories
294 -- 315Fernando Orejas. Symbolic graphs for attributed graph constraints
316 -- 337Christoph Schulz, Michael Löwe, Harald König. A categorical framework for the transformation of object-oriented systems: Models and data