Mini-Workshop TCS at TuDo and RUB
are transferred to some other queries and some normal forms are established. MW 21, November 26th, 2012, Chair 1 Joachim Biskup: Signature-Based Inference-Usability Confinement for Relational Databases [...] QCB-space X is given by the space of nonempty closed subsets of X topologised suitably. MW 20, June 20th, 2012, Chair 1 Gabriele Kern-Isberner: A Constructive Approach to Independent and Evidence Retaining Belief [...] one of which we present a complete solution, while the other one remains open. MW 19, February 22th, 2012, Chair 1 Chris Schwiegelshohn: Solving the minimum string cover problem Abstract: A string cover C …
