437 search results - page 39 / 88 » Proving Termination by Divergence |
169
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
166
click to vote
FAC
2006
15 years 6 months ago
2006
A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation i...
147
click to vote
IPL
2006
15 years 6 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
156
click to vote
MFCS
2010
Springer
15 years 4 months ago
2010
Springer
A reduction system for regular expressions is presented. For a regular expression t, the reduction system is proved to terminate in a state where the most-reduced expression readil...
159
click to vote
PODS
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...