Abstract
This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern ma......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
