✦ LIBER ✦

On the expressive power of monadic least fixed point logic

✍ Scribed by Nicole Schweikardt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Expressive equivalence of least and infl

✍ Stephan Kreutzer 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 210 KB

Counting on CTL*: on the expressive powe

✍ Faron Moller; Alexander Rabinovich 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 141 KB

On the expressive power of F-logic langu

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

On the expressive power of temporal logi

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

On the Least Number of Fixed Points of a

✍ T.N. Fomenko 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 198 KB

On fixed-point iterations for the soluti

✍ Mugombozi, C.F.; Mahseredjian, J.; Saad, O. 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 965 KB