Positive and negative proofs for circuits and branching programs

DSpace Repository

Positive and negative proofs for circuits and branching programs

Author: Dorzweiler, Olga; Flamm, Thomas; Krebs, Andreas; Ludwig, Michael
Tübinger Autor(en):
Dorzweiler, Olga
Flamm, Thomas
Krebs, Andreas
Ludwig, Michael
Published in: Theoretical Computer Science (2016), Bd. 610, H. SI, S. 24-36
Verlagsangabe: Elsevier Science Bv
Language: English
Full text: http://dx.doi.org/10.1016/j.tcs.2015.08.041
ISSN: 1879-2294
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)