Spracherkennungs-und Anfrage-Aequivalenz von MSO, monadischem Datalog, und Automaten. Thomas Kloecker Betreuer: Tim Priesnitz Seminar Logische Aspekte von XML,
Drawings as Models of Syntactic Structure: Theory and Algorithms. by Mathias M hl ... Alexander Koller. Constraint-based and graph-based resolution of ambiguities in ...
Entailment with Conditional Equality Constraints. Zhendong Su Alex Aiken ... (C1 V C2) Flanagan and Felleisen [PLDI'97] atomic set constraint entailment ...