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 cs.SCShow all

1 paper · 1 filter

cs.SC2010

From matrix interpretations over the rationals to matrix interpretations over the naturals

Salvador Lucas

Matrix interpretations generalize linear polynomial interpretations and have been proved useful in the implementation of tools for automatically proving termination of Term Rewriti…