2007 | ||
---|---|---|
2 | EE | Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr: Equivalence Problems for Circuits over Sets of Natural Numbers. CSR 2007: 127-138 |
1 | EE | Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr: Satisfiability of Algebraic Circuits over Sets of Natural Numbers. FSTTCS 2007: 253-264 |
1 | Christian Glaßer (Christian Glasser) | [1] [2] |
2 | Katrin Herr | [2] |
3 | Christian Reitwießner | [1] [2] |
4 | Stephen D. Travers | [1] [2] |