Searching for "An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement." – 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.

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement
by Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent — 1997 — Proc. TACS'97, Springer LNCS 1281
…An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement Yoshiki…
Cited by 19 (1 self) – Add To MetaCart

Nationality: Japanese Positions:
by First Name Makoto — 1991
…. An axiomatic approach to binary logical relations with applications to data refinement (with Y. Kinoshita, P. W…
Add To MetaCart

Showing 1 through 2.

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