𝔖 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 - On strong stability and higher-order sequentiality

✍ Scribed by Colson, L.; Ehrhard, T.

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

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 - 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 - 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 - Semantics of meta-logic in an algebra of programs

✍ Brogi, A.; Turini, F. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press ⚖ 783 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 - Well rewrite orderings

✍ Lescanne, P. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 583 KB