activity
20062018
most citedSynthesis of models for order-sorted first-order theories using linear algebra and constraint solving

3 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.PL2017

A Semantic Approach to the Analysis of Rewriting-Based Systems

Salvador Lucas

Properties expressed as the provability of a first-order sentence can be disproved by just finding a model of the negation of the sentence. This fact, however, is meaningful in res…