𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Reduction-free normalisation for a polymorphic system

✍ Scribed by Altenkirch, T.; Hofmann, M.; Streicher, T.

Book ID: 120828297
Publisher: IEEE Comput. Soc. Press
Year: 1996
Weight: 763 KB
Category: Article
ISBN-13: 9780818674631
DOI: 10.1109/LICS.1996.561309

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Solving linear equations over polynomial semirings

✍ Narendran, P. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 533 KB

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Decision problems for semi-Thue systems with a few rules

✍ Matiyasevich, Y.; Senizergues, G. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 622 KB

[IEEE Comput. Soc. Press 11th Annual IEE

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Simultaneous rigid E-unification and related algorithmic problems

✍ Degtyarev, A.; Matiyasevich, Y.; Voronkov, A. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 819 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

[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 - A symbolic labelled transition system for coinductive subtyping of F/sub μ≤/ types

✍ Jeffery, A. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 691 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 decision procedure for a class of set constraints

✍ Heintze, N.; Jaffar, J. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 723 KB