𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formalization for semantic location granules

✍ Scribed by Bernad, Jorge; Bobed, Carlos; Mena, Eduardo; Ilarri, Sergio

Book ID
120443939
Publisher
Taylor and Francis Group
Year
2013
Tongue
English
Weight
492 KB
Volume
27
Category
Article
ISSN
1365-8824

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formal semantics for DAI language NUML
A formal semantics for DAI language NUML
✍ Manwu Xu; Jianfeng Lu; Fancong Zeng; Jinwen Dai πŸ“‚ Article πŸ“… 1995 πŸ› Springer 🌐 English βš– 613 KB
Formal Semantics for Program Paths
Formal Semantics for Program Paths
✍ Karl Lermer; Colin Fidge; Ian Hayes πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 230 KB
Formal semantics for mutual belief
Formal semantics for mutual belief
✍ Marco Colombetti πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 455 KB
A view of formal semantics
A view of formal semantics
✍ Hendrik J Boom; Claus Bendix Nielsen; Andrew D McGettrick; Peter D Mosses; Charl πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 560 KB