38 citations · 84 across the 8 of their papers we have counts for
1 paper · 1 filter
Grigore Rosu
This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching. Its sentences, the pat…