Olga Dorzweiler

ScholarGPS® ID: 69905665437690

Affiliation

University of Tübingen, Tübingen, Germany

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Metrics Summary

Publication Count

Predicted Citations

Predicted h-index

Ranking

Publications and Citation History

Add Delete
Positive and negative proofs for circuits and branching programs (journal article) Dorzweiler, Olga \| Flamm, Thomas \| Krebs, Andreas \| Ludwig, Michael Theoretical Computer Science, volume 610 (2016). 10.1016/j.tcs.2015.08.041 Cited by (2) \| Cite \| Source
Positive and Negative Proofs for Circuits and Branching Programs (book chapter) In Descriptional Complexity of Formal Systems Dorzweiler, Olga \| Flamm, Thomas \| Krebs, Andreas \| Ludwig, Michael Springer International Publishing (2014) 10.1007/978-3-319-09704-6_24 Cite \| Source