✦ LIBER ✦

Axiomatisation des tests

✍ Scribed by Christophe Benoit

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatisations simples des theories des

✍ Danielle Gondard-Cozette 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 310 KB

Axiomatising divergence

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

Vers une Axiomatisation de la Théorie de

✍ Bertrand Toën 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 228 KB

Axiomatising timed automata

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

Axiomatisability problems forS-posets

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

Axiomatising Tree-Interpretable Structur

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