<?xml-stylesheet 
      type="text/xsl"
      href = "xsl/searchRetrieveResponse.xsl"
    ?>

<mx:record xmlns:mx="http://www.loc.gov/MARC21/slim" xmlns:srw="http://www.loc.gov/zing/srw/" xmlns:v="http://viaf.org/viaf/terms#">
<mx:leader>00000nz##a22.....o..4500</mx:leader>
<mx:controlfield tag="008">941015n||a||nnabb|##########||#aba####|c</mx:controlfield>
<mx:datafield tag="700" ind2=" " ind1="1">
<mx:subfield code="a">Avenhaus, Jürgen</mx:subfield>
<mx:subfield code="2">DNB|106829068</mx:subfield>
</mx:datafield>
<mx:datafield tag="901" ind2=" " ind1=" ">
<mx:subfield code="a">9783540585596</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">&#152;An&#156; algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">String matching and algorithmic problems in free groups</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">Reduktionssysteme Rechnen und Schliessen in gleichungsdefinierten Strukturen</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">Polynomial time algorithms for the Nielsen reduction and related problems in free groups</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">Polynomial algorithms for problems in free groups based on Nielsen type arguments</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">P-complete problems in free groups</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">On the termination of the Knuth-Bendix completion algorithm</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">On congruences and normal forms definable by term rewriting systems</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">Groups presented by finite two monadic Church-Rosser Thue systems</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="910" ind2=" " ind1=" ">
<mx:subfield code="a">Combinatorial algorithms in algebraic structures</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="921" ind2=" " ind1=" ">
<mx:subfield code="a">Fachbereich Informatik, Univ.</mx:subfield>
<mx:subfield code="9">9</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="921" ind2=" " ind1=" ">
<mx:subfield code="a">Springer</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield tag="922" ind2=" " ind1=" ">
<mx:subfield code="a">DE</mx:subfield>
<mx:subfield code="9">11</mx:subfield>
<mx:subfield code="2">DNB</mx:subfield>
</mx:datafield>
<mx:datafield ind2=" " ind1=" " tag="943">
<mx:subfield code="a">197.</mx:subfield>
<mx:subfield code="9">3</mx:subfield>
</mx:datafield>
<mx:datafield ind2=" " ind1=" " tag="943">
<mx:subfield code="a">198.</mx:subfield>
<mx:subfield code="9">7</mx:subfield>
</mx:datafield>
<mx:datafield ind2=" " ind1=" " tag="943">
<mx:subfield code="a">199.</mx:subfield>
<mx:subfield code="9">1</mx:subfield>
</mx:datafield>
</mx:record>
