Skip to content

Finite Relational Semantics for Language Kleene Algebra with Complement.

Yoshiki Nakamura

VenueBCSL
Year2025
ProceedingsCSL

Browse the full CSL paper archive.