✦ LIBER ✦

Formal semantics for mutual belief

✍ Scribed by Marco Colombetti

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 455 KB
Volume: 62
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(93)90082-m

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal semantics for rule-based systems

✍ S. Murrell; R. Plant 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 900 KB

A query language for discovering semanti

A query language for discovering semantic associations, Part I: Approach and formal definition of query primitives

✍ Timo Niemi; Janne Jämsen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 270 KB 👁 1 views

## Abstract In contemporary query languages, the user is responsible for navigation among semantically related data. Because of the huge amount of data and the complex structural relationships among data in modern applications, it is unrealistic to suppose that the user could know completely the co

Formal semantics for a symbolic IC desig

Formal semantics for a symbolic IC design technique: examples and applications: Rajopadhye, S V and Subrahmanyam, P AIntegration Vol 3 No 1 (March 1985) pp 13–32

📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 110 KB