✦ LIBER ✦

Strict Lower Bounds for Model Checking BPA

✍ Scribed by Richard Mayr

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strict lower bound for the spatial sprea

✍ V.V. Dodonov; S.S. Mizrahi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

On Asymptotic and Strict Monotonicity of

✍ Allan Gut; Nitis Mukhopadhyay 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 306 KB

Complexity lower bounds for machine comp

✍ A. P. Bel'tyukov 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 1002 KB

Easy lower bound for a strange computati

✍ Roman Smolensky 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 180 KB

Improved Bounded Model Checking for the

✍ Liang Xu; Wei Chen; Yan-Yan Xu; Wen-Hui Zhang 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 515 KB