Positive and negative proofs for circuits and branching programs

dc.contributor.author	Dorzweiler, Olga
dc.contributor.author	Flamm, Thomas
dc.contributor.author	Krebs, Andreas
dc.contributor.author	Ludwig, Michael
dc.date.accessioned	2017-05-02T13:44:40Z
dc.date.available	2017-05-02T13:44:40Z
dc.date.issued	2016
dc.identifier.issn	1879-2294
dc.identifier.uri	http://hdl.handle.net/10900/76063
dc.language.iso	en	en
dc.publisher	Elsevier Science Bv	de_DE
dc.relation.uri	http://dx.doi.org/10.1016/j.tcs.2015.08.041
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Positive and negative proofs for circuits and branching programs	de_DE
dc.type	Article	de_DE
utue.quellen.id	20160915142648_01993
utue.publikation.seiten	24-36	de_DE
utue.personen.roh	Dorzweiler, Olga
utue.personen.roh	Flamm, Thomas
utue.personen.roh	Krebs, Andreas
utue.personen.roh	Ludwig, Michael
dcterms.isPartOf.ZSTitelID	Theoretical Computer Science	de_DE
dcterms.isPartOf.ZS-Issue	SI	de_DE
dcterms.isPartOf.ZS-Volume	610	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät