366 search results - page 5 / 74 » Four equivalent equivalences of reductions |
98
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
90
Voted
ENTCS
2006
15 years 22 days ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
73
Voted
DM
2008
15 years 24 days ago
2008
We give some new Wilf equivalences for signed patterns which allow the complete classification of signed patterns of lengths three and four. The problem is considered for pattern a...
128
Voted
TCAD
2008
15 years 19 days ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
117
Voted
TCAD
2002
15 years 10 days ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...