![]() |
| 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] |