Matthias Waldherr

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Equivalence Problems for Circuits over Sets of Natural Numbers. Theory Comput. Syst. 46 (1) (2010)
Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Satisfiability of algebraic circuits over sets of natural numbers. Discret. Appl. Math. 158 (13) (2010)
Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Satisfiability of Algebraic Circuits over Sets of Natural Numbers. FSTTCS (2007)
Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr
Equivalence Problems for Circuits over Sets of Natural Numbers. CSR (2007)