✦ LIBER ✦

On the expressive power of CSP refinement

✍ Scribed by A.W. Roscoe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the expressive power of data dependen

✍ Johann A. Makowsky; Moshe Y. Vardi 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 830 KB

On the expressive power of F-logic langu

✍ Zengping Tian; Yujun Wang; Yunyao Qu; Baile Shi 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 606 KB

The expressive power of voting polynomia

✍ J. Aspnes; R. Beigel; M. Furst; S. Rudich 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 805 KB

About the expressive power of CTL combin

✍ F. Laroussinie 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 295 KB

On the Expressive Power of Equality-Free

✍ P. Ecsedi-Tóth 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 331 KB

On the expressive power of temporal logi

✍ Joëlle Cohen-Chesnot 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 744 KB