K. U. Schulz

Available identifiers

zbMath Open schulz.klaus-uMaRDI QIDQ533877

List of research outcomes

Publication	Date of Publication	Type
Makanin's algorithm for word equations-two improvements and a generalization	2023-08-14	Paper
Combination of constraint solving techniques: An algebraic point of view	2022-12-09	Paper
Combination techniques and decision problems for disunification	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5061527	2022-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4993768	2021-06-16	Paper
Space-efficient bimachine construction based on the equalizer accumulation principle	2019-09-10	Paper
Finite-state techniques. Automata, transducers and bimachines	2019-05-16	Paper
A criterion for intractability of \(E\)-unification with free function symbols and its relevance for combination of unification algorithms	2017-11-17	Paper
A simple method for building bimachines from functional finite-state transducers	2017-08-22	Paper
Fast approximate search in large dictionaries	2012-03-20	Paper
Computation of similarity -- similarity search as computation	2011-09-09	Paper
Efficient techniques for approximate record matching modulo permutations	2011-05-18	Paper
Deciding word neighborhood with universal neighborhood automata	2011-05-10	Paper
Conjunctive queries over trees	2008-12-21	Paper
A note on the categoricity of countable interval structures	2008-04-11	Paper
Decidability of bounded higher-order unification	2007-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4473280	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474847	2004-07-21	Paper
Fast string correction with Levenshtein automata	2003-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4411845	2003-07-10	Paper
Solvability of context equations with two context variables is decidable	2002-06-11	Paper
Combination of constraint systems II: Rational amalgamation	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2762630	2002-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4518872	2001-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4524788	2001-01-15	Paper
Tractable and intractable instances of combination problems for unification and disunification	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4264733	1999-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4266517	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4266515	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4263157	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3838760	1998-10-08	Paper
Combination of constraint solvers for free and quasi-free structures	1998-08-13	Paper
Combination techniques and decision problems for disunification	1997-02-28	Paper
Unification in the union of disjoint equational theories: Combining decision procedures	1996-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4866989	1996-08-15	Paper
Word unification and transformation of generalized equations	1994-12-11	Paper
Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields)	1988-01-01	Paper

Research outcomes over time

This page was built for person: K. U. Schulz