𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatisation des tests

✍ Scribed by Christophe Benoit


Book ID
107948517
Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
1007 KB
Volume
35
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


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