✦ LIBER ✦

A structured temporal logic language: ZYZ/SE

✍ Scribed by Hongliang Xie; Jie Gong; C. S. Tang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framed temporal logic programming lang

✍ Zhen-Hua Duan 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 69 KB

LSD: A Logic-Based Visual Language for D

✍ PHILIP T. COX; TREVOR J. SMEDLEY 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 653 KB

Abstract implementation of algebraic spe

✍ Huimin Lin; Chun Gong; Hongliang Xie 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 623 KB

A structural/temporal query language for

✍ Daniel Deutch; Tova Milo 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 449 KB

Ethnology: The Logic of the Laws: A Stru

✍ Andrew Arno 📂 Article 📅 1979 🏛 American Anthropological Association 🌐 English ⚖ 183 KB

Musical structure is processed in “langu

✍ Daniel J Levitin; Vinod Menon 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 318 KB