✦ LIBER ✦

A formal semantics for DAI language NUML

✍ Scribed by Manwu Xu; Jianfeng Lu; Fancong Zeng; Jinwen Dai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal semantics and pragmatics for natu

✍ Szabolcsi, Anna 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 598 KB

A formal semantics for program debugging

✍ Wei Li; Ning Li 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 478 KB

A formal semantics for protocol narratio

✍ Sébastien Briais; Uwe Nestmann 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 507 KB

VOQL*: A Visual Object Query Language Wi

✍ SUK KYOON LEE; KYU-YOUNG WHANG 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 615 KB

A comparative study of two formal semant

✍ Yang, Zhibin; Bodeveix, Jean-Paul; Filali, Mamoun 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 788 KB

A formalization for semantic location gr

✍ Bernad, Jorge; Bobed, Carlos; Mena, Eduardo; Ilarri, Sergio 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 492 KB