Back to papers
May 4, 2026cs.LOcs.AI

Static Analysis of Recursive SHACL

Categories

cs.LO, cs.AI