Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition

von Ivanov, levgen
Veröffentlicht in ICTERI (15. : 2019 : Cherson) Information and communication technologies in education, research, and industrial applications (2020)