| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Klaus U. Schulz 25 Manfred Schmidt-Schauß , Klaus U. Schulz: Solvability of Context Equations with Two Context Variables is Decidable. JSC 33 (1): 77-122 (2002) 24 Holger Meuss , Klaus U. Schulz, François Bry : Towards Aggregated Answers for Semistructured Data. ICDT 2001 : 346-360 23 Klaus U. Schulz, Stephan Kepser : Combination of constraint systems II: Rational amalgamation. TCS 266 (1-2): 113-157 (2001) 22 Holger Meuss , Klaus U. Schulz: Complete answer aggregates for treelike databases: a novel approach to combine querying and navigation. TOIS 19 (2): 161-215 (2001) 21 Klaus U. Schulz: Why Combined Decision Problems Are Often Intractable. FroCos 2000 : 217-244 20 Klaus U. Schulz: Tractable and intractable instances of combination problems for unification and disunification. Journal of Logic and Computation 10 (1): 105-135 (2000) 19 Manfred Schmidt-Schauß , Klaus U. Schulz: Solvability of Context Equations with Two Context Variables is Decidable. CADE 1999 : 67-81 18 Franz Baader , Klaus U. Schulz: Combining Constraint Solving. CCL 1999 : 104-158 17 Rolf Backofen , François Bry , Peter Clote , Hans-Peter Kriegel , Thomas Seidl , Klaus U. Schulz: Bioinformatik - Aktuelles Schlagwort. Informatik Spektrum 22 (5): 376-378 (1999) 16 Manfred Schmidt-Schauß , Klaus U. Schulz: On the Exponent of Periodicity of Minimal Solutions of Context Equation. RTA 1998 : 61-75 15 Franz Baader , Klaus U. Schulz: Combination of Constraint Solvers for Free and Quasi-Free Structures. TCS 192 (1): 107-161 (1998) 14 Klaus U. Schulz: A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms. RTA 1997 : 284-298 13 Stephan Kesper , Klaus U. Schulz: Combination of Constraint Systems II: Rational Amalgamation. CP 1996 : 282-296 12 Franz Baader , Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. JSC 21 (2): 211-243 (1996) 11 Franz Baader , Klaus U. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP 1995 : 380-397 10 Franz Baader , Klaus U. Schulz: Combination of Constraint Solving Techniques: An Algebraic POint of View. RTA 1995 : 352-366 9 Franz Baader , Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. TCS 142 (2): 229-255 (1995) 8 Klaus U. Schulz: On Existential Theories of List Concatenation. CSL 1994 : 294-308 7 Franz Baader , Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. RTA 1993 : 301-315 6 Klaus U. Schulz: Wort Unification and Transformation of Generalized Equations. Journal of Automated Reasoning 11 (2): 149-184 (1993) 5 Klaus U. Schulz: Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings. Springer 1992 4 Franz Baader , Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992 : 50-65 3 Franz Baader , Klaus U. Schulz: General A- and AX-Unification via Optimized. IWWERT 1991 : 23-42 2 Klaus U. Schulz: Makanin's Algorithm for Word Equations - Two Improvements and a Generalization. IWWERT 1990 : 85-150 1 Klaus U. Schulz: Preferential cumulative reasoning and nonmonotonic semantic nets. The Logic of Theory Change 1989 : 223-240  DiSC'02 © 2003 Association for Computing Machinery |
