✦ LIBER ✦

Strategy logic

✍ Scribed by Krishnendu Chatterjee; Thomas A. Henzinger; Nir Piterman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic design strategies

✍ Hans Martin Lipp 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 809 KB

Strategy and the logic of decision

✍ Joseph D. Sneed 📂 Article 📅 1966 🏛 Springer Netherlands 🌐 English ⚖ 627 KB

A Logic for Rewriting Strategies

✍ Richard B. Kieburtz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 336 KB

Evaluation Strategies for Functional Log

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

Strategies for a Logic of Plurals

✍ Alex Oliver; Timothy Smiley 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB

Analysis of program logic test strategie

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