%0 Conference Paper %1 conf/casc/AlbertFS15 %A Albert, Mario %A Fetzer, Matthias %A Seiler, Werner M. %B CASC %D 2015 %E Gerdt, Vladimir P. %E Koepf, Wolfram %E Seiler, Werner M. %E Vorozhtsov, Evgenii V. %I Springer %K dblp %P 15-29 %T Janet Bases and Resolutions in CoCoALib. %U http://dblp.uni-trier.de/db/conf/casc/casc2015.html#AlbertFS15 %V 9301 %@ 978-3-319-24020-6

@inproceedings{conf/casc/AlbertFS15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Albert, Mario and Fetzer, Matthias and Seiler, Werner M.}, biburl = {https://www.bibsonomy.org/bibtex/217acdc98b67a79221222c4151bc2ba1e/dblp}, booktitle = {CASC}, crossref = {conf/casc/2015}, editor = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, ee = {https://doi.org/10.1007/978-3-319-24021-3_2}, interhash = {c9eff9696bee544416a663eede0fce58}, intrahash = {17acdc98b67a79221222c4151bc2ba1e}, isbn = {978-3-319-24020-6}, keywords = {dblp}, pages = {15-29}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:54:34.000+0200}, title = {Janet Bases and Resolutions in CoCoALib.}, url = {http://dblp.uni-trier.de/db/conf/casc/casc2015.html#AlbertFS15}, volume = 9301, year = 2015 }