๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Image logic algebra and its optical implementations: errata

โœ Scribed by Fukui, Masaki ;Kitayama, Ken-ichi


Book ID
115342269
Publisher
The Optical Society
Year
1992
Tongue
English
Weight
40 KB
Volume
31
Category
Article
ISSN
1559-128X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Distributed Logic Objects: A Fragment of
โœ Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 816 KB

This paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly distributed) state of the system. In this sense, the logic