2713 search results - page 85 / 543 » Parameterized Tree Systems |
DAM
2007
15 years 3 months ago
2007
We point out several security flaws in the cryptosystem based on tree replacement systems proposed by Samuel, Thomas, Abisha and Subramanian at INDOCRYPT 2002. Due to the success...
128
Voted
CADE
2001
Springer
15 years 7 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
107
click to vote
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
ICEIS
2007
IEEE
15 years 5 months ago
2007
IEEE