Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Schulz, Klaus U."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Deciding word neighborhood with universal neighborhood automata
Petar Mitankin
,
Stoyan Mihov
,
Klaus U. Schulz
Theoretical Computer Science
412
(22), 2011, pp. 2340-2355
Conjunctive queries over trees
Georg Gottlob
,
Christoph Koch
,
Klaus U. Schulz
Journal of the ACM
53
(2), 2006, pp. 238-272
Decidability of bounded higher-order unification
Manfred Schmidt-Schauß
,
Klaus U. Schulz
Journal Symbolic Computation
40
(2), 2005, pp. 905-954
Solvability of context equations with two context variables is decidable
Manfred Schmidt-Schauss̈
,
Klaus U. Schulz
Journal Symbolic Computation
33
(1), 2002, pp. 77-122
Combination of constraint systems II: Rational amalgamation
Klaus U. Schulz
,
Stephan Kepser
Theoretical Computer Science
266
(1-2), 2001, pp. 113-157
Combination of constraint solvers for free and quasi-free structures
Franz Baader
,
Klaus U. Schulz
Theoretical Computer Science
192
(1), 1998, pp. 107-161
Unification in the union of disjoint equational theories: Combining decision procedures
Franz Baader
,
Klaus U. Schulz
Journal Symbolic Computation
21
(2), 1996, pp. 211-243
On the combination of symbolic constraints, solution domains, and constraint solvers
Franz Baader
,
Klaus U. Schulz
Lecture Notes in Computer Science
976
, 1995, pp. 380-397
Combination techniques and decision problems for disunification
Franz Baader
,
Klaus U. Schulz
Theoretical Computer Science
142
(2), 1995, pp. 229-255