3 citations · 3 across the 3 of their papers we have counts for
1 paper · 2 filters
Boris Eng, Thomas Seiller
We present the stellar resolution, a "flexible" tile system based on Robinson's first-order resolution. After establishing formal definitions and basic properties of the stellar re…