Ein Modell des P=NP-Problems mit einer positiven Lösung
From MaRDI portal
Publication:1170237
DOI10.1007/BF00288972zbMath0496.03023MaRDI QIDQ1170237
Publication date: 1982
Published in: Acta Informatica (Search for Journal in Brave)
03G30: Categorical logic, topoi
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Cites Work