𝔖 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. - The sensible graph theories of lambda calculus

✍ Scribed by Bucciarelli, A.; Salibra, A.

Book ID: 121857390
Publisher: IEEE
Year: 2004
Weight: 547 KB
Category: Article
ISBN-13: 9780769521923
DOI: 10.1109/LICS.2004.1319622

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. - 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. - 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. - 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. - A graph of a relational structure and constraint satisfaction problems

✍ Bulatov, A.A. 📂 Article 📅 2004 🏛 IEEE ⚖ 543 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 - No Sorting? Better Searching!

✍ Franceschini, G.; Grossi, R. 📂 Article 📅 2004 🏛 IEEE ⚖ 154 KB