✦ LIBER ✦

[IEEE Comput. Soc. Press [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Pacific Grove, CA, USA (5-8 June 1989)] [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science - Axiomatizing operational equivalence in the presence of side effects

✍ Scribed by Mason, I.A.; Talcott, C.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1989] Proceedi

✍ Scott, D.S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 156 KB

[IEEE Comput. Soc. Press [1989] Proceedi

✍ Degano, P.; Meseguer, J.; Montanari, U. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 929 KB