179
click to vote
WRLA
14 years 11 months ago
2010 
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
99
Voted
WRLA
14 years 11 months ago
2010  101
click to vote
WRLA
14 years 11 months ago
2010
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on R...
102
click to vote
WRLA
14 years 11 months ago
2010
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
WRLA
14 years 11 months ago
2010 |
Logical Reasoning