13383 search results - page 139 / 2677 » Abstractions from proofs |
148
click to vote
CPM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents an elementary proof of the HannenhalliPevzner theorem on the reversal distance of two signed permutations. It uses a single PQ-tree to encode the vari...
184
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
150
click to vote
CSCLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
137
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
153
Voted
STOC
1995
ACM
15 years 9 months ago
1995
ACM
c communication case. This lemma generalizes and abstracts in a very clean form the ``round reduction'' techniques used in many previous lower bound proofs. ] 1998 Academ...