Olga Dorzweiler

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Training Instances

Top Venues

Theor. Comput. Sci.

Publications

Olga Dorzweiler, Thomas Flamm, Andreas Krebs, Michael Ludwig
Positive and negative proofs for circuits and branching programs. Theor. Comput. Sci. 610 (2016)
Olga Dorzweiler, Thomas Flamm, Andreas Krebs, Michael Ludwig
Positive and Negative Proofs for Circuits and Branching Programs. DCFS (2014)