On Tools for Completeness of Kleene Algebra with Hypotheses
Autor: | Pous, D., Rot, J., Wagemaker, J., Fahrenberg, U. |
---|---|
Rok vydání: | 2021 |
Zdroj: | Fahrenberg, U. (ed.), RAMiCS 2021: Relational and Algebraic Methods in Computer Science, 19th International Conference, Marseille, France, November 2–5, 2021, Proceedings, 378-395. Cham : Springer International Publishing STARTPAGE=378;ENDPAGE=395;ISSN=0302-9743;TITLE=Fahrenberg, U. (ed.), RAMiCS 2021: Relational and Algebraic Methods in Computer Science, 19th International Conference, Marseille, France, November 2–5, 2021, Proceedings |
ISSN: | 0302-9743 |
Databáze: | OpenAIRE |
Externí odkaz: |