Combination techniques and decision problems for disunification von Baader, Franz 1959-, Schulz, Klaus U.

General A- and AX-unification via optimized combination procedures von Baader, Franz 1959-, Schulz, Klaus U.

Logic finite automata and constraint logic finite automata von Gabbay, Dov M. 1945-, Schulz, Klaus U.

On the combination of symbolic constraints, solution domains, and constraint solvers von Baader, Franz 1959-, Schulz, Klaus U.

On the combination of symbolic constraints, solution domains, and constraint solvers von Baader, Franz 1959-, Schulz, Klaus U.

Inhaltsverzeichnis

Constraints for lists and theories of concatenation von Schulz, Klaus U.

Combination of constraint solving techniques an algebraic point of view von Baader, Franz 1959-, Schulz, Klaus U.

Unification in the union of disjoint equational theories combining decision procedures von Baader, Franz 1959-, Schulz, Klaus U.

Inhaltsverzeichnis

Combining unification- and disunification algorithms - tractable and intractable instances von Schulz, Klaus U.

Between finite state and prolog constraint-based automata and efficient recognition of phrases von Schulz, Klaus U., Mikolajewski, Thomasz

Makanin's algorithm two improvements and a generalization von Schulz, Klaus U.

Word unification and transformation of generalized equations von Schulz, Klaus U.