✦ LIBER ✦

Formalization of systems with interaction and fibrations

✍ Scribed by G. A. Sardanishvili

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of membrane systems with

✍ Freund, Rudolf; Pérez-Hurtado, Ignacio; Riscos-Núñez, Agustín; Verlan, Sergey 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 161 KB

Formalization and use of knowledge in di

✍ L. F. Gulyanitskii 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 629 KB

A formalization of geometric constraint

✍ Pascal Mathis; Simon E. B. Thierry 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 534 KB

Formal description of interaction betwee

✍ N. P. Buslenko; A. N. Averkin 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 691 KB

Formal detection of feature interactions

✍ Nicolas Gorse; Luigi Logrippo; Jacques Sincennes 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 90 KB

Formality Considered Harmful: Experience

✍ Frank M. Shipman; Catherine C. Marshall 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 80 KB