✦ LIBER ✦

Program theory evaluation: Logic analysis

✍ Scribed by Astrid Brousselle; François Champagne

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Evaluation Strategies for Functional Log

✍ Sergio Antoy 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 312 KB

Associative concurrent evaluation of log

✍ Katsuhiko Nakamura 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 655 KB

Analysis of program logic test strategie

✍ V. V. Lipaev; B. A. Pozin; S. A. Blau 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 614 KB

A Theory of Observables for Logic Progra

✍ Marco Comini; Giorgio Levi; Maria Chiara Meo 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 398 KB

Ordering default theories and nonmonoton

✍ Chiaki Sakama 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 338 KB

The theory of interval probabilistic log

✍ Alex Dekhtyar; Michael I. Dekhtyar 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 780 KB