𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Convergence analysis of binary relation inference networks

✍ Scribed by Lam, K.P.

Book ID
114449696
Publisher
The Institution of Electrical Engineers
Year
1996
Tongue
English
Weight
643 KB
Volume
143
Category
Article
ISSN
1350-2379

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Analysis of programs and binary relation
Analysis of programs and binary relations
✍ S.A. Abramov πŸ“‚ Article πŸ“… 1983 πŸ› Elsevier Science βš– 590 KB

The generalization of the Hoarean property of the P program, in the form {]}P{g} , is discussed. -Instead of the Boolean functions in the set of states V , binary relations which are subsets of Vβ€’ where M can be an arbitrary set, are used for I and g, i. It was pointed out in /i/ that for program an