1385 search results - page 87 / 277 » Natural Rewriting for General Term Rewriting Systems |
135
click to vote
RTA
2007
Springer
16 years 8 days ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
163
click to vote
CC
2000
Springer
15 years 6 months ago
2000
Springer
The performance of a Java Virtual Machine (JVM) interpreter running on a very long instruction word (VLIW) processor can be improved by means of pipelining. While one bytecode is i...
138
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
171
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
190
click to vote
LFCS
2007
Springer
16 years 9 days ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...