Search Sciweavers | Sciweavers

366 search results - page 1 / 74

» Four equivalent equivalences of reductions

159

click to vote

ENTCS
2002

76views more ENTCS 2002»

Four equivalent equivalences of reductions

15 years 6 months ago

Download www.cs.vu.nl

Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations...

Vincent van Oostrom, Roel C. de Vrijer

claim paper

Read More »

133

click to vote

JCO
2007

56views more JCO 2007»

An unexpected meeting of four seemingly unrelated problems: graph testing, DNA complex screening, superimposed codes and secure

15 years 6 months ago

Download jupiter.math.nctu.edu.tw

This paper discusses the relation among four problems: graph testing, DNA complex screening, superimposed codes and secure key distribution. We prove a surprising equivalence relat...

H. B. Chen, Ding-Zhu Du, Frank K. Hwang

claim paper

Read More »

116

click to vote

ICNP
1995
IEEE

74views Computer Networks» more ICNP 1995»

Verification and diagnosis of testing equivalence and reduction relation

15 years 10 months ago

Download www.ieee-icnp.org

Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...

claim paper