Some properties of relation information systems under homomorphisms
β Scribed by Changzhong Wang; Congxin Wu; Degang Chen; Wenju Du
- Publisher
- Elsevier Science
- Year
- 2008
- Tongue
- English
- Weight
- 210 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0893-9659
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We define a new satisfaction relation for properties of a system's behaviour, approximate satisfaction. We show, for approximately satisfied properties, that they can be partitioned into a safety and a liveness property similar to linear properties. We will see that approximate satisfaction and line
We call a non-trivial group \(G\) an M.B. group if \(G \times G\) is a homomorphic image of \(G\). In this paper several properties of M.B. groups are shown. Some connections are pointed to between these results and an unsolved problem of long-term standing concerning finitely presented groups. 1994