Skip to content

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations.

Yoshiki Nakamura

VenueA*LICS
Year2023
ProceedingsLICS

Browse the full LICS paper archive.