𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards a model theory of statistical theories

✍ Scribed by Tomáš Havránek


Publisher
Springer Netherlands
Year
1977
Tongue
English
Weight
764 KB
Volume
36
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Towards a Model Theory for Esterel
✍ Gerald Lüttgen; Michael Mendler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Esterel is a synchronous language for reactive{systems design and builds the core of the commercial tool Esterel Studio. This paper shows how the constructive semantics of a combinational fragment of Esterel, as presented by B e r r y , can be derived in a model{theoretic fashion, thus complementing