Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr. Equivalence Problems for Circuits over Sets of Natural Numbers. In Volker Diekert, Mikhail V. Volkov, Andrei Voronkov, editors, Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Volume 4649 of Lecture Notes in Computer Science, pages 127-138, Springer, 2007. [doi]
@inproceedings{GlasserHRTW07,
title = {Equivalence Problems for Circuits over Sets of Natural Numbers},
author = {Christian Glaßer and Katrin Herr and Christian Reitwießner and Stephen D. Travers and Matthias Waldherr},
year = {2007},
doi = {10.1007/978-3-540-74510-5_15},
url = {http://dx.doi.org/10.1007/978-3-540-74510-5_15},
researchr = {https://researchr.org/publication/GlasserHRTW07},
cites = {0},
citedby = {0},
pages = {127-138},
booktitle = {Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings},
editor = {Volker Diekert and Mikhail V. Volkov and Andrei Voronkov},
volume = {4649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74509-9},
}