%0 Conference Paper %1 conf/issac/Kemper08 %A Kemper, Gregor %B ISSAC %D 2008 %E Sendra, J. Rafael %E González-Vega, Laureano %I ACM %K dblp %P 335-336 %T Algorithmic invariant theory. %U http://dblp.uni-trier.de/db/conf/issac/issac2008.html#Kemper08 %@ 978-1-59593-904-3

@inproceedings{conf/issac/Kemper08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kemper, Gregor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/243292212f8c0f0c8aa0abb05f31a6b1a/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2008}, editor = {Sendra, J. Rafael and González-Vega, Laureano}, ee = {https://doi.org/10.1145/1390768.1390815}, interhash = {cfc05ef35f11e8ab316e862dc8d2e8d4}, intrahash = {43292212f8c0f0c8aa0abb05f31a6b1a}, isbn = {978-1-59593-904-3}, keywords = {dblp}, pages = {335-336}, publisher = {ACM}, timestamp = {2019-09-27T21:38:13.000+0200}, title = {Algorithmic invariant theory.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2008.html#Kemper08}, year = 2008 }