Komplexität von Entscheidungsproblemen : ein seminar
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Allemand |
| Argitaratua: |
Berlin [etc.] :
Springer
2005.
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
43 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Actes d'un séminaire tenu en 1973, d'après la préface Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Komplexität von Entscheidungsproblemen, ein seminar, Ernst Specker, Volker Strassen, Berlin, Springer-Verlag, 1976, 1 vol. (217 p.), Lecture notes in computer science, 0-387-07805-3 |
Aurkibidea:
- I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion
- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems
- III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind
- IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben
- V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme
- VI. Polynomiale Transformationen und Auswahlaxiom
- VII. Spektralproblem und Komplexitätstheorie
- VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme
- IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper
- X. Simulation von Turingmaschinen mit logischen Netzen
- XI. Längen von Formeln.