4 entries matching the current filters. Sorted by recently added.
Decidability of conjunctive-query containment under bag semantics. Current research status is unassessed. The dated source poses this question; inclusion does not certify that it remains open today.
Weighted star-free expressions and temporal logic. Current research status is unassessed. The dated source poses this question; inclusion does not certify that it remains open today.
Which semirings embed in semirings with monus?. Current research status is unassessed. The dated source poses this question; inclusion does not certify that it remains open today.
Circuit size for path provenance over absorptive semirings. Current research status is unassessed. The dated source poses this question; inclusion does not certify that it remains open today.