Klaus 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 techniques and decision problems for disunification	2022-12-09	Paper
Combination of constraint solving techniques: An algebraic point of view	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	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
https://portal.mardi4nfdi.de/entity/Q2999898	2011-05-18	Paper
Deciding word neighborhood with universal neighborhood automata	2011-05-10	Paper
Conjunctive queries over trees	2008-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q5458155	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/Q4266515	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4266517	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Klaus U. Schulz