𝔖 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. - Proving termination assertions in dynamic logics

✍ Scribed by Leivant, D.

Book ID: 121857389
Publisher: IEEE
Year: 2004
Weight: 920 KB
Category: Article
ISBN-13: 9780769521923
DOI: 10.1109/LICS.2004.1319603

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. - 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 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 Comput. Soc 16th Annual IEEE Sympo

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - On definability of order in logic with choice

✍ Huuskonen, T.; Hyttinen, T. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 560 KB