Searching for "Recursive Definitions in Z." – sorted by Relevance.
-
Recursive Definitions in Z
- Recursive Definitions in Z R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain St., Reading, Berkshire
- Cited by 5 (0 self) – Add To MetaCart
-
Exploring The Semantics of UML Type Structures with Z
- how formalization can help clarify the meaning of non-trivial structures such as recursive definitions
- Cited by 28 (0 self) – Add To MetaCart
-
SEA: A Scalable Encryption Algorithm for Small Embedded Applications
- definition: S : Z nb 2 b → Z nb 2 b : x → x = S(x) ⇔ x3i =(x3i+2 ∧ x3i+1) ⊕ x3i, x3i+1 =(x3i+2 ∧ x3i) ⊕ x3i+1
- Cited by 5 (0 self) – Add To MetaCart
-
Simulating The Invariant Measures Of Markov Chains Using Backward Coupling At Regeneration Times
- recursive definition of Z such that Z 0 = (0; 0) and for any n 1, if Z n = (x; m) Z n+1 = (f(x; n (m
- Cited by 14 (7 self) – Add To MetaCart
-
A Class of 1-Additive Sequences and Quadratic Recurrences
- if the bitwise "and" of the binary representations of h and l is zero [Long 1981]. (b) A recursive definition
- Cited by 3 (0 self) – Add To MetaCart

