Word Equations and Related Topics: 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings von Schulz, K. U

Volltext

Frontiers of Combining Systems: First International Workshop, Munich, March 1996 von Baader, F, Schulz, K. U

Volltext

Relative Gravity Measurement Campaign during the 8th International Comparison of Absolute Gravimeters (2009) von Jiang, Z, Pálinkáš, V, Francis, O, Jousset, P, Mäkinen, J, Merlet, S, Becker, M, Coulomb, A, Kessler-Schulz, K U, Schulz, H R, Rothleitner, Ch, Tisserand, L, Lequin, D

Volltext

Efficient dictionary-based text rewriting using subsequential transducers von MIHOV, S., SCHULZ, K. U.

Volltext

Why combined decision problems are often intractable von SCHULZ, K. U

Volltext

On the exponent of periodicity of minimal solutions of context equations von Schmidt-Schauß, Manfred, Schulz, Klaus U.

Volltext

Frontiers of Combining Systems: First International Workshop, Munich, March 1996 von Baader, F, Schulz, K. U

Volltext

Combination of constraint systems II: Rational amalgamation von Schulz, Klaus U., Kepser, Stephan

Volltext

Tractable and intractable instances of combination problems for unification and disunification von Schulz, K.

Volltext

Makanin's algorithm for word equations-two improvements and a generalization von Schulz, Klaus U.

Volltext

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

Volltext

Fast Approximate Search in Large Dictionaries von Mihov, Stoyan, Schulz, Klaus U.

Volltext

The BIRD Numbering Scheme for XML and Tree Databases – Deciding and Reconstructing Tree Relations Using Efficient Arithmetic Operations von Weigel, Felix, Schulz, Klaus U., Meuss, Holger

Volltext

Accurate Gravimetry at the BIPM Watt Balance Site von Jiang, Z., Pálinkáš, V., Francis, O., Merlet, S., Baumann, H., Becker, M., Jousset, P., Mäkinen, J., Schulz, H. R., Kessler-Schulz, K. U., Svitlov, S., Coulomb, A., Tisserand, L., Hu, H., Rothleitner, Ch

Volltext

Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets von Brunner, Levin, Schulz, Klaus U, Weigel, Felix

Volltext

Automatic quality evaluation and (semi-) automatic improvement of OCR models for historical printings von Springmann, U, Fink, F, Schulz, K. U

Volltext bestellen

Implementation of Makanin's Algorithm von Abdulrab, Habib

Volltext

Unification in the union of disjoint equational theories: Combining decision procedures von Baader, Franz, Schulz, Klaus U.

Volltext

Ranked Retrieval of Structured Documents with the S-Term Vector Space Model von Weigel, Felix, Schulz, Klaus U., Meuss, Holger

Volltext

An analysis of Makanin's algorithm deciding solvability of equations in free groups von Kościelski, Antoni

Volltext