Deduktion: von der Theorie zur Anwendung
- 作者Franz Baader; Bernhard Beckert; Tobias Nipkow
- 卷第33卷
- 期第5期
- 印刷ISSN0170-6012
- 电子ISSN1432-122X
- 文件大小330.96KB
- 发表时间2010-10
- DOI10.1007/s00287-010-0461-3
- 页码444-451
同作者推荐
On counting and approximationJohannes Köbler; Uwe Schöning; Jacobo Toran · 1989
Graph isomorphism is low for PPJohannes Köbler; Uwe Schöning; Jacobo Torán · Computational Complexity · 1992
tRNA-like elements in Haloferax volcaniiAnnette Hölzle; Britta Stoll; Thomas Schnattinger; Uwe Schöning; Brian Tjaden; Anita Marchfelder · 2012
Probabilistic complexity classes and lownessUwe Schöning · 1989
On small generatorsUwe Schöning · 1984
Minimal pairs for PUwe Schöning · 1984
On bounded query machinesJose L. Balcázar; Ronald V. Book; Uwe Schöning · 1985
Logarithmic advice classesJoséL. Balcázar; Uwe Schöning · 1992