Equivalence Problems for Circuits over Sets of Natural Numbers

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]

Authors

Christian Glaßer

This author has not been identified. Look up 'Christian Glaßer' in Google

Katrin Herr

This author has not been identified. Look up 'Katrin Herr' in Google

Christian Reitwießner

This author has not been identified. Look up 'Christian Reitwießner' in Google

Stephen D. Travers

This author has not been identified. Look up 'Stephen D. Travers' in Google

Matthias Waldherr

This author has not been identified. Look up 'Matthias Waldherr' in Google