 |
|
|
 |  |  |  |  Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways
with other forms of inference such as decision procedures and proof search. We
discuss a range of issues at the intersection of rewriting and inference. How can
other inference procedures be combined with rewriting? Can rewriting be used to
describe... |
|
|
|
Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |