𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 18th IEEE Annual Conference on Computational Complexity - Aarhus, Denmark (7-10 July 2003)] 18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings. - Universal languages and the power of diagonalization

✍ Scribed by Nash, A.; Impagliazzo, R.; Remmel, J.

Book ID: 121665317
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 567 KB
Category: Article
ISBN-13: 9780769518794
DOI: 10.1109/CCC.2003.1214432

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Computational Complexi

[IEEE Comput. Soc Computational Complexity. Fifteenth Annual IEEE Conference - Florence, Italy (4-7 July 2000)] Proceedings 15th Annual IEEE Conference on Computational Complexity - Dimension in complexity classes

✍ Lutz, J.H. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 385 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 - Logical operations and Kolmogorov complexity. II

✍ Muchnik, A.A.; Vereshchagin, N.K. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 822 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 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 - Uniform circuits for division: consequences and problems

✍ Allender, E.; Mix Barrington, D.A.; Hesse, W. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 906 KB

[IEEE Comput. Soc Computational Complexi

[IEEE Comput. Soc Computational Complexity. Fifteenth Annual IEEE Conference - Florence, Italy (4-7 July 2000)] Proceedings 15th Annual IEEE Conference on Computational Complexity - An application of matroid theory to the SAT problem

✍ Kullmann, O. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 309 KB

[IEEE Comput. Soc 18th Annual IEEE Sympo

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - Types and programming languages: the next generation

✍ Pierce, B.C. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 178 KB