𝔖 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 - Decision problems for semi-Thue systems with a few rules

✍ Scribed by Matiyasevich, Y.; Senizergues, G.

Book ID: 121210496
Publisher: IEEE Comput. Soc. Press
Year: 1996
Weight: 622 KB
Category: Article
ISBN-13: 9780818674631
DOI: 10.1109/LICS.1996.561469

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

✍ Narendran, P. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 533 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

[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 2009 24th Annual IEEE Symposium on

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

✍ Kazakov, Yevgeny; Pratt-Hartmann, Ian 📂 Article 📅 2009 🏛 IEEE ⚖ 318 KB