Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition.
Ievgen Ivanov, Mykola S. Nikitchenko
VenueNationalICTERI
Year2019
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/IvanovN19a ↗
Browse the full ICTERI paper archive.