%0 Conference Paper %1 conf/eurocal/Kuchlin85 %A Küchlin, Wolfgang %B European Conference on Computer Algebra (2) %D 1985 %E Caviness, B. F. %I Springer %K dblp %P 390-399 %T A Confluence Criterion Based on the Generalised Neman Lemma. %U http://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-2.html#Kuchlin85 %V 204 %@ 3-540-15984-3

@inproceedings{conf/eurocal/Kuchlin85, added-at = {2017-05-19T00:00:00.000+0200}, author = {Küchlin, Wolfgang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/208b44e9959df5571f70d533e7013b03b/dblp}, booktitle = {European Conference on Computer Algebra (2)}, crossref = {conf/eurocal/1985-2}, editor = {Caviness, B. F.}, ee = {https://doi.org/10.1007/3-540-15984-3_294}, interhash = {08e7791ac74dddafd493be9718660de4}, intrahash = {08b44e9959df5571f70d533e7013b03b}, isbn = {3-540-15984-3}, keywords = {dblp}, pages = {390-399}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:00:09.000+0200}, title = {A Confluence Criterion Based on the Generalised Neman Lemma.}, url = {http://dblp.uni-trier.de/db/conf/eurocal/eurocal1985-2.html#Kuchlin85}, volume = 204, year = 1985 }