Kleene Algebra of Partial Predicates
Publié en ligne: 28 juil. 2018
Pages: 11 - 20
Reçu: 27 mars 2018
© 2018 Artur Korniłowicz et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.