 |
|
|
 |  |  |  |  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: 76 75 74 73 72 71 70 69 68 67 66 65 64 63 |