%0 Conference Paper %1 conf/csr/GlasserHRTW07 %A Glaßer, Christian %A Herr, Katrin %A Reitwießner, Christian %A Travers, Stephen D. %A Waldherr, Matthias %B CSR %D 2007 %E Diekert, Volker %E Volkov, Mikhail V. %E Voronkov, Andrei %I Springer %K myown %P 127-138 %T Equivalence Problems for Circuits over Sets of Natural Numbers. %U http://dblp.uni-trier.de/db/conf/csr/csr2007.html#GlasserHRTW07 %V 4649 %@ 978-3-540-74509-9

@inproceedings{conf/csr/GlasserHRTW07, added-at = {2010-05-21T10:30:02.000+0200}, author = {Glaßer, Christian and Herr, Katrin and Reitwießner, Christian and Travers, Stephen D. and Waldherr, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2cea9d8fd64dc4f98c699673da6bdfe2f/crei}, booktitle = {CSR}, crossref = {conf/csr/2007}, date = {2007-08-23}, description = {dblp}, editor = {Diekert, Volker and Volkov, Mikhail V. and Voronkov, Andrei}, ee = {http://dx.doi.org/10.1007/978-3-540-74510-5_15}, interhash = {3bde0dec6dd11bc31857274fd7189354}, intrahash = {cea9d8fd64dc4f98c699673da6bdfe2f}, isbn = {978-3-540-74509-9}, keywords = {myown}, pages = {127-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2010-05-21T10:30:02.000+0200}, title = {Equivalence Problems for Circuits over Sets of Natural Numbers.}, url = {http://dblp.uni-trier.de/db/conf/csr/csr2007.html#GlasserHRTW07}, volume = 4649, year = 2007 }