𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - The complexity of treelike systems over Λ-local formulae

✍ Scribed by Galesi, N.; Thapen, N.

Book ID: 126724611
Publisher: IEEE
Year: 2004
Weight: 619 KB
Category: Article
ISBN-13: 9780769521206
DOI: 10.1109/CCC.2004.1313798

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. 19th IEEE Annual Conf

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Properties of NP-complete sets

✍ Glasser, C.; Pavan, A.; Selman, A.L.; Sengupta, S. 📂 Article 📅 2004 🏛 IEEE ⚖ 393 KB

[IEEE Proceedings. 19th IEEE Annual Conf

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Consequences and limits of nonlocal strategies

✍ Cleve, R.; Hoyer, P.; Toner, B.; Watrous, J. 📂 Article 📅 2004 🏛 IEEE ⚖ 664 KB

[IEEE Proceedings. 19th IEEE Annual Conf

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Partial Bi-immunity and NP-completeness

✍ Hitchcock, J.M.; Pavan, A.; Vinodchandran, N.V. 📂 Article 📅 2004 🏛 IEEE ⚖ 383 KB

[IEEE Proceedings. 19th IEEE Annual Conf

[IEEE Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Amherst, MA, USA (21-24 June 2004)] Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004. - Relativized NP search problems and propositional proof systems

✍ Buresh-Oppenheim, J.; Morioka, T. 📂 Article 📅 2004 🏛 IEEE ⚖ 509 KB

[IEEE Comput. Soc Computational Complexi

[IEEE Comput. Soc Computational Complexity. Sixteenth Annual IEEE Conference - Chicago, IL, USA (18-21 June 2001)] Proceedings 16th Annual IEEE Conference on Computational Complexity - Monotone simulations of nonmonotone proofs

✍ Atserias, A.; Galesi, N.; Pudlak, P. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 509 KB

[IEEE 37th Annual Hawaii International C

[IEEE 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the - Big Island, HI, USA (2004.01.8-2004.01.8)] 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the - Breeding software test cases for complex systems

✍ Watkins, A.; Berndt, D.; Aebischer, K.; Fisher, J.; Johnson, L. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 408 KB