✦ LIBER ✦

The meaning of “formal”: from weak to strong formal methods

✍ Scribed by Pierre Wolper

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Transition from Non-formal to Formal

✍ Samir R. Nath 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 61 KB

Simulation semantics can revitalize the

✍ Jerome Feldman 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 78 KB

Application of the method of contractor

✍ Urszula Ledzewicz-Kowalewska 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 488 KB

The Gravitational Interaction of Light:

✍ V. Faraoni; R. M. Dumse 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 188 KB

An example of the passage from the concr

✍ Zoltan P. Diénès 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 797 KB

A Path from the Quantization of the Acti

✍ V. Hushwater 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 186 KB