default search action

combined dblp search
author search
venue search
publication search

ask others

Komplexität von Entscheidungsproblemen 1976

> Home > Conferences and Workshops

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ac/1976ent
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/1976ent
Ernst Specker, Volker Strassen:
Komplexität von Entscheidungsproblemen, Ein Seminar. Lecture Notes in Computer Science 43, Springer 1976, ISBN 3-540-07805-3
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Baur76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Baur76
Walter Baur:
Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion. 11-19
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Haussler76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Haussler76
Alex Häussler:
Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. 20-35
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Schuster76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Schuster76
Peter Schuster:
Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. 36-48
- view
  authority control:
- export record
  dblp key:
  - conf/ac/GathenS76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/GathenS76
Joachim von zur Gathen, Malte Sieveking:
Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben. 49-71
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Specker76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Specker76
Ernst Specker:
Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. 72-85
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Furer76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Furer76
Martin Fürer:
Polynomiale Transformationen und Auswahlaxiom. 86-101
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Christen76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Christen76
Claude-André Christen:
Spektralproblem und Komplexitätstheorie. 102-126
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Heintz76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Heintz76
Joos Heintz:
Untere Schranken für die Komplexität logischer Entscheidungsprobleme. 127-137
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Wuthrich76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Wuthrich76
H. R. Wüthrich:
Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. 138-162
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Furer76a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Furer76a
Martin Fürer:
Simulation von Turingmaschinen mit logischen Netzen. 163-181
- view
  authority control:
- export record
  dblp key:
  - conf/ac/SpeckerW76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/SpeckerW76
Ernst Specker, Georges Wick:
Längen und Formeln. 182-217

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.