✦ LIBER ✦

Axiomatisability Problems for S-Systems

✍ Scribed by Gould, V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatisability problems forS-posets

✍ Victoria Gould; Lubna Shaheen 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 924 KB

Axiomatisability problems forS-acts, rev

✍ Lubna Shaheen 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 797 KB

Axiomatising divergence

✍ Markus Lohrey; Pedro R. D’Argenio; Holger Hermanns 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 374 KB

Axiomatising timed automata

✍ Huimin Lin; Wang Yi 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 235 KB

Axiomatisation des tests

✍ Christophe Benoit 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 1007 KB

Axiomatising Tree-Interpretable Structur

✍ Achim Blumensath 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 366 KB