%0 Conference Paper %1 conf/ac/Schuster76 %A Schuster, Peter %B Komplexität von Entscheidungsproblemen 1976 %D 1976 %E Specker, Ernst %E Strassen, Volker %I Springer %K dblp %P 36-48 %T Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. %U http://dblp.uni-trier.de/db/conf/ac/entscheid1976.html#Schuster76 %V 43 %@ 3-540-07805-3

@inproceedings{conf/ac/Schuster76, added-at = {2017-05-19T00:00:00.000+0200}, author = {Schuster, Peter}, biburl = {https://www.bibsonomy.org/bibtex/216a0ee3eb2f71d9b93bb5c2b557c9ccc/dblp}, booktitle = {Komplexität von Entscheidungsproblemen 1976}, crossref = {conf/ac/1976ent}, editor = {Specker, Ernst and Strassen, Volker}, ee = {https://doi.org/10.1007/3-540-07805-3_4}, interhash = {4f8b786e60c5bec2ac62d38f9ab7486f}, intrahash = {16a0ee3eb2f71d9b93bb5c2b557c9ccc}, isbn = {3-540-07805-3}, keywords = {dblp}, pages = {36-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:15.000+0200}, title = {Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind.}, url = {http://dblp.uni-trier.de/db/conf/ac/entscheid1976.html#Schuster76}, volume = 43, year = 1976 }