𝔖 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 - Solving linear equations over polynomial semirings

✍ Scribed by Narendran, P.

Book ID: 126272061
Publisher: IEEE Comput. Soc. Press
Year: 1996
Weight: 533 KB
Category: Article
ISBN-13: 9780818674631
DOI: 10.1109/LICS.1996.561463

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 - 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 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 - Reduction-free normalisation for a polymorphic system

✍ Altenkirch, T.; Hofmann, M.; Streicher, T. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 763 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 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 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

[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 - Semistructured data: from practice to theory

✍ Abiteboul, S. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 664 KB