An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Design of tailored strategies for preservation and re-use of information about heritage

[EN] This paper is an outcome of the following dissertation: