2 search results - page 1 / 1 » Efficient Testing of Equivalence of Words in a Free Idempote... |
57
Voted
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
109
click to vote
JAR
2000
14 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...