✦ LIBER ✦

Reachability is decidable for weakly extended process rewrite systems

✍ Scribed by Mojmír Křetínský; Vojtěch Řehák; Jan Strejček

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability of LTL model checking fo

✍ Laura Bozzelli; Mojmír Křetínský; Vojtěch Řehák; Jan Strejček 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 578 KB

The problem of deciding confluence on a

✍ Friedrich Otto 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 614 KB