Matthias Waldherr

According to our database, Matthias Waldherr authored at least 2 papers in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Satisfiability of Algebraic Circuits over Sets of Natural Numbers.

Christian Glaßer, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

Equivalence Problems for Circuits over Sets of Natural Numbers.

Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr

Proceedings of the Computer Science, 2007