𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Lescanne, P.

Book ID: 126710153
Publisher: IEEE Comput. Soc. Press
Year: 1990
Weight: 583 KB
Category: Article
ISBN-13: 9780818620737
DOI: 10.1109/LICS.1990.113751

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Normal process representatives

✍ Gehlot, V.; Gunter, C. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 560 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 logic of concrete time intervals

✍ Lewis, H.R. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 930 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 - Completeness for typed lazy inequalities

✍ Cosmadakis, S.S.; Meyer, A.R.; Riecke, J.G. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 642 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. 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 - Symbolic model checking: 10/sup 20/ states and beyond

✍ Burch, J.R.; Clarke, E.M.; McMillan, K.L.; Dill, D.L.; Hwang, L.J. 📂 Article 📅 1990 🏛 IEEE Comput. Soc. Press ⚖ 962 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