( en | de | ru )

 

Disambiguation of "Dose, Titus"

Author of the publication

copydeleteadd this publication to your clipboard
NP-Completeness, Proof Systems, and Disjoint NP-Pairs.

, and . Electron. Colloquium Comput. Complex., (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joseph Titus

Catharina Dose

Uwe Dose

Klaus Dose

Ulrich Dose

 

Other publications of authors with the same name

NP-Completeness, Proof Systems, and Disjoint NP-Pairs., and . Electron. Colloquium Comput. Complex., (2019)Further oracles separating conjectures about incompleteness in the finite domain.. Theor. Comput. Sci., (2020)Emptiness problems for integer circuits., , , , , and . Theor. Comput. Sci., (2020)P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP⋂coNP Relative to an Oracle.. CoRR, (2019)Balance Problems for Integer Circuits.. Electron. Colloquium Comput. Complex., (2018)P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle.. MFCS, volume 138 of LIPIcs, page 47:1-47:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Balance problems for integer circuits.. Theor. Comput. Sci., (2019)Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes (Balance-Probleme für Integer Circuits und Separierungen Relativierter Vermutungen über Unvollständigkeit in Promise-Klassen). Würzburg University, Germany, (2021)base-search.net (ftunivwuerz:oai:opus.bibliothek.uni-wuerzburg.de:22220).P-Optimal Proof Systems for Each Set in NP but no Complete Disjoint NP-pairs Relative to an Oracle.. CoRR, (2019)Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers.. Electron. Colloquium Comput. Complex., (2016)