Ki Hang Kim. Boolean Matrix Theory and Applications. Marcel Dekker, 1982. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Bisimulations and Boolean Vectors - Fitting (2002) (Correct)
....well to modal machinery. As an example, consider the frame depicted in Figure 1. The accessibility relation is represented by the matrix 000 where the entry in position (i, j)is1 if there is an edge from # i to # j , and otherwise is 0. This is material that is familiar from many books [Kim82] is a recommended source. # 3 # 2 J J J J J xx x Figure 1. A Classical Mono modal Frame Standard terminology is to call a set of possible worlds in a frame a proposition, so that in any model based on a frame the set of worlds in which a formula is true is a proposition. For our ....
Ki Hang Kim. Boolean Matrix Theory and Applications. Marcel Dekker, 1982.
Collusion in a Multi-party Communication Protocol for.. - Low, Maxemchuk, Paul (1994) (2 citations) (Correct)
....in the situation after collusion with cx, we consider each message pair as a whole. 3.2 A method Our analysis proceeds in three steps. First, a formal model for studying collusion is derived from the step by step description of the protocol. A model of the protocol is a triple of boolean matrices [7] (I 0 ; L; N) that describe the situation after the purchase but before colluding with cx. I 0 describes the initial information the players have; L describes the message pairs they possess; N describes the information contained in the message pairs. Second, simple operations (equations (1 2) ....
Ki Hang Kim. Boolean matrix theory and applications. Marcel Dekker, Inc., 1982.
The Complexity Of Derivations Of Matrix Identities - Soltys-Kulinicz (2001) (Correct)
No context found.
Ki Hang Kim. Boolean Matrix Theory and Applications. Marcel Dekker, 1982.
Bisimulations and Boolean Vectors - Fitting (2003) (Correct)
No context found.
Ki Hang Kim. Boolean Matrix Theory and Applications. Marcel Dekker, 1982.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC