For information on the authors, as far as they belong to the working
group, see the list of
current and former staff.
Claus-Peter Wirth and Bernhard Gramlich.
A constructor-based approach to positive/negative conditional equational
specifications.
In
3rd CTRS, volume 656 of
LNCS, pages 198-212, 1993.
C.-P. Wirth, B. Gramlich, U. Kühler, and H. Prote.
Constructor-based inductive validity in positive/negative conditional
equational specifications.
Report SR-93 -05, SEKI University of Kaiserslautern, 1993.
Joachim Steinbach.
Simplification orderings: Putting them to the test.
Journal of Automated Reasoning, no. 10 pp. 389-397, 1993.
Joachim Steinbach.
On the complexity of simplification orderings.
Report SR-93-18, SEKI University of Kaiserslautern, 1993.
Full Paper.
Andrea Sattler-Klein.
About changing the ordering during Knuth-Bendix completion.
Report SR-93-19, SEKI University of Kaiserslautern, 1993.
Full Paper.
A. Middeldorp and B. Gramlich.
Simple termination is difficult.
In
5th RTA, volume 690 of
LNCS, pages 228-242, 1993.
Klaus Madlener and Birgit Reinert.
On Gröbner Bases in monoid and group rings.
Report SR-93-08, SEKI University of Kaiserslautern, 1993.
Abstract,
Full Paper.
Klaus Madlener and Birgit Reinert.
Computing Gröbner Bases in monoid and group rings.
In
ISSAC 93, pages 254-263, 1993.
Abstract.
K. Madlener, P. Narendran, F. Otto, and L. Zhang.
On weakly confluent monadic string-rewriting systems.
Theoretical Computer Science, no. 113 pp. 119-165, 1993.
Andrea Sattler-Klein Klaus Madlener and Friedrich Otto.
On the problem of generating small convergent systems.
Journal of Symbolic Computation,
2 no. 16 pp. 167-187, 1993.
Bernhard Gramlich.
Sufficient conditions for modular termination of conditional term rewriting
systems.
In
3rd CTRS (1992), volume 656 of
LNCS, pages 128-142,
1993.
Bernhard Gramlich.
Relating innermost, weak, uniform and modular termination of term rewriting
systems.
Report SR-93-17, SEKI University of Kaiserslautern, 1993.
Full Paper.
Bernhard Gramlich.
Relating innermost, weak, uniform and modular termination of term rewriting
systems.
Report SR-93-09, SEKI University of Kaiserslautern, 1993.
Full Paper.
D. Cohen, K. Madlener, and F. Otto.
Separating the intrinsic complexity and the derivational complexity of the
word problem for finitely presented groups.
Math. Log., no. 39 pp. 143-157, 1993.
