%0 Book Section %1 conf/gi/Sattler-Klein96 %A Sattler-Klein, Andrea %B Ausgezeichnete Informatikdissertationen %D 1996 %E Bibel, Wolfgang %E Fiedler, Herbert %E Grass, Werner %E Gorny, Peter %E Hotz, Günter %E Kerner, Immo O. %E Reischuk, Rüdiger %E Roithmayr, Friedrich %I Vieweg+Teubner Verlag %K dblp %P 95-113 %T Phänomene der Knuth-Bendix Vervollständigung. %U http://dblp.uni-trier.de/db/conf/gi/diss1996.html#Sattler-Klein96 %@ 978-3-519-02646-4

@incollection{conf/gi/Sattler-Klein96, added-at = {2021-09-24T00:00:00.000+0200}, author = {Sattler-Klein, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/246bef1debc80ef387d030980a435f86c/dblp}, booktitle = {Ausgezeichnete Informatikdissertationen}, crossref = {conf/gi/1996diss}, editor = {Bibel, Wolfgang and Fiedler, Herbert and Grass, Werner and Gorny, Peter and Hotz, Günter and Kerner, Immo O. and Reischuk, Rüdiger and Roithmayr, Friedrich}, ee = {https://doi.org/10.1007/978-3-322-91230-5_6}, interhash = {842f6945cd9b1af3e49bedbffbc5574b}, intrahash = {46bef1debc80ef387d030980a435f86c}, isbn = {978-3-519-02646-4}, keywords = {dblp}, pages = {95-113}, publisher = {Vieweg+Teubner Verlag}, timestamp = {2024-04-09T07:58:28.000+0200}, title = {Phänomene der Knuth-Bendix Vervollständigung.}, url = {http://dblp.uni-trier.de/db/conf/gi/diss1996.html#Sattler-Klein96}, year = 1996 }