Searching for "The semantics of BI and resource tableaux." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The Semantics of BI and Resource Tableaux 51 P.W. O'Hearn and D.J. Pym
by Côme Berbain, Henri Gilbert, Er Maximov — 1999 — Bulletin of Symbolic Logic
…Abstract. Grain [11] is a lightweight stream cipher submitted by M. Hell, T. Johansson, and W. Meier to the eSTREAM call for stream cipher proposals of the European project ECRYPT [5]. Its 160-bit internal state is divided into a LFSR and an NLFSR of length 80 bits each. A filtering boolean function…
Cited by 1 (0 self) – Add To MetaCart

Under consideration for publication in Math. Struct. in Comp. Science
by The Semantics Of, D. Galmiche, D. Mry, D. Pym
… semantics of BI. As consequences of the relationships between semantics of BI and resource tableaux, we…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB