[R_Clavijo_SanPrudencio] Intensive Program ERASMUS: TOPCART. Geometric Documentation of the Heritage (report of activities 2010-2011)

[EN] Data contained in this record come from the following accademic activity (from which it is possible to locate additional records related with the Monastery):

Geometric documentation and reconstruction of the church of the Monastery of San Prudencio (La Rioja, Spain)

[EN] Data contained in this record come from the following accademic activity (from which it is possible to locate additional records related with the Monastery):

Intensive Program ERASMUS: TOPCART. Geometric Documentation of the Heritage (administrative and academic documentation)

[EN] This academic activity has been the origin of other work that are also located in this repository. The first one is the dataset of information about the geometry of the Monastery recorded during the two years of fieldwork, then some bachelor thesis and papers are listed:

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

Effects of Carbon Dioxide Capture and Storage in Germany on European Electricity Exchange and Welfare

28 p.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.