1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Jerome Jochems, Eddie Jones, Steven Ramsay
The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in…