Mini-Workshop TCS at TuDo and RUB
current research where the concept of WSTSs helps to get decidability results. MW 18, August 9th, 2011, Chair 1 Gabriele Kern-Isberner: A Default Logical Semantics for Defeasible Argumentation (joint work [...] conjectures stating that a given context-free grammar generates a given language. MW 17, Mai 4th, 2011, Chair 1 Thomas Schwentick: Two-variable logic and Key Constraints on Data Words Abstract: We introduce [...] contraction for defeasible argumentation and the role of influence in this matter. MW 16, January 19th, 2011, Chair 1 Speaker Subject Thomas Zeume, LS 1 Temporal Logics on Words with Multiple Data Values abstract …
