7 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
Diego Figueira, S. Krishna, Om Swostik Mishra +1
The problem of checking whether a recursive query can be rewritten as query without recursion is a fundamental reasoning task, known as the boundedness problem. Here we study the b…