Informationsverdichtung von Modellen in der Aussagenlogik und das P-NP-Problem
Open access
Author
Date
1977Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000104618Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZürichSubject
AUSSAGENLOGIK (MATHEMATISCHE LOGIK); ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK); ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK); PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC); DECISION PROBLEMS (MATHEMATICAL LOGIC); ALGORITHMIC COMPLEXITY (MATHEMATICS)Notes
Diss. Math. ETH Zürich, Nr. 5941, 0000. Ref.: Engeler, E. ; Korref.: Specker, E..More
Show all metadata
ETH Bibliography
yes
Altmetrics