✦ LIBER ✦

The decidability of persistence for vector addition systems

✍ Scribed by Jan Grabowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A decidability theorem for a class of ve

✍ S. Crespi-Reghizzi; D. Mandrioli 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Persistence of vector replacement system

✍ Ernst Mayr 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 490 KB

The covering and boundedness problems fo

✍ Stéphane Demri; Marcin Jurdziński; Oded Lachish; Ranko Lazić 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Rational index of Vector Addition System

✍ Laurent Pierre; Sylviane R. Schwer 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 840 KB

The boundedness problem for three-dimens

✍ Tat-Hung Chan 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 407 KB

Additive vector systems and the problem

✍ D. I. Kogan 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 173 KB