Alex Häussler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1976

1 Alex Häussler: Polynomial bescränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems. Komplexität von Entscheidungsproblemen 1976 1976: 20-35