Positive and negative proofs for circuits and branching programs

Autor(en):

Dorzweiler, Olga; Flamm, Thomas; Krebs, Andreas; Ludwig, Michael

Tübinger Autor(en):

Erschienen in:

Theoretical Computer Science (2016), Bd. 610, H. SI, S. 24-36

Verlagsangabe:

Elsevier Science Bv

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1879-2294

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: