The SCEAS System
Navigation Menu

Conferences in DBLP

Advanced Courses (ac)
1976 (conf/ac/1976ent)

  1. Walter Baur
    Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:11-19 [Conf]
  2. Alex Häussler
    Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:20-35 [Conf]
  3. Peter Schuster
    Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:36-48 [Conf]
  4. Joachim von zur Gathen, Malte Sieveking
    Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:49-71 [Conf]
  5. Ernst Specker
    Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:72-85 [Conf]
  6. Martin Fürer
    Polynomiale Transformationen und Auswahlaxiom. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:86-101 [Conf]
  7. Claude-André Christen
    Spektralproblem und Komplexitätstheorie. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:102-126 [Conf]
  8. Joos Heintz
    Untere Schranken für die Komplexität logischer Entscheidungsprobleme. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:127-137 [Conf]
  9. H. R. Wüthrich
    Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:138-162 [Conf]
  10. Martin Fürer
    Simulation von Turingmaschinen mit logischen Netzen. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:163-181 [Conf]
  11. Ernst Specker, Georges Wick
    Längen und Formeln. [Citation Graph (0, 0)][DBLP]
    Komplexität von Entscheidungsproblemen 1976, 1976, pp:182-217 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002