2586 search results - page 254 / 518 » Automatic Abstraction for Congruences |
170
Voted
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
174
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
191
click to vote
STACS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We consider the problem of computing a minimum cycle basis in a directed graph G with m arcs and n vertices. The arcs of G have non-negative weights assigned to them. We ...
138
click to vote
TBILLC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
144
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...