𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - A graph of a relational structure and constraint satisfaction problems

✍ Scribed by Bulatov, A.A.

Book ID: 126716470
Publisher: IEEE
Year: 2004
Weight: 543 KB
Category: Article
ISBN-13: 9780769521923
DOI: 10.1109/LICS.2004.1319639

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings of the 19th Annual IEE

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Parametric limits

✍ Dunphy, B.; Reddy, U.S. 📂 Article 📅 2004 🏛 IEEE ⚖ 903 KB

[IEEE Proceedings of the 19th Annual IEE

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - A sequent calculus for nominal logic

✍ Gabbay, M.; Cheney, J. 📂 Article 📅 2004 🏛 IEEE ⚖ 404 KB

[IEEE Proceedings of the 19th Annual IEE

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Proving termination assertions in dynamic logics

✍ Leivant, D. 📂 Article 📅 2004 🏛 IEEE ⚖ 920 KB

[IEEE Proceedings of the 19th Annual IEE

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - A categorical semantics of quantum protocols

✍ Abramsky, S.; Coecke, B. 📂 Article 📅 2004 🏛 IEEE ⚖ 674 KB

[IEEE Proceedings of the 19th Annual IEE

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - The sensible graph theories of lambda calculus

✍ Bucciarelli, A.; Salibra, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 547 KB

[IEEE 45th Annual IEEE Symposium on Foun

[IEEE 45th Annual IEEE Symposium on Foundations of Computer Science - Rome, Italy (17-19 Oct. 2004)] 45th Annual IEEE Symposium on Foundations of Computer Science - Algebras with Polynomial Identities and Computing the Determinant

✍ Chien, S.; Sinclair, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 227 KB