𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Semantics of meta-logic in an algebra of programs

✍ Scribed by Brogi, A.; Turini, F.

Book ID: 126620387
Publisher: IEEE Comput. Soc. Press
Year: 1994
Weight: 783 KB
Edition: 9
Category: Article
ISBN-13: 9780818663109
DOI: 10.1109/LICS.1994.316063

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Linear logic, totality and full completeness

✍ Loader, R. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 505 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Rewrite techniques for transitive relations

✍ Bachmair, L.; Ganzinger, H. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 923 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - Reflexive graphs and parametric polymorphism

✍ Robinson, E.P.; Rosolini, G. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 686 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - On strong stability and higher-order sequentiality

✍ Colson, L.; Ehrhard, T. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 514 KB

[IEEE Comput. Soc. Press Ninth Annual IE

[IEEE Comput. Soc. Press Ninth Annual IEEE Symposium on Logic in Computer Science - Paris, France (4-7 July 1994)] Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science - On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study

✍ Geuvers, H.; Werner, B. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 941 KB

[IEEE Comput. Soc. Press Fifth Annual IE

[IEEE Comput. Soc. Press Fifth Annual IEEE Symposium on Logic in Computer Science - Philadelphia, PA, USA (4-7 June 1990)] [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science - A linear semantics for allowed logic programs

✍ Cerrito, S. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 542 KB