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