✦ LIBER ✦

A logic for the description of non-deterministic programs and their properties

✍ Scribed by S. Graf; J. Sifakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic programs and an experimental archi

✍ Oldfield, J.V. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 764 KB

Logic programs and an experimental archi

✍ Oldfield, J.V. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 703 KB

A program for establishing the relations

✍ I. V. Peredunova; Yu. A. Kruglyak 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 144 KB

The playroom: A non institutional progra

✍ Sonja Vlaisavljevć-Popadić 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 686 KB

The application of non-polarised ionic r

✍ Alexey V. Koltsov; Eduard V. Prikhod’ko; Valery P. Vassiliev; Vladimir B. Koltso 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 268 KB

A new method for describing the AND-OR-p

✍ Chengzheng Sun; Yungui Tzu 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 594 KB