Graphes canoniques de graphes algébriques
Open Access
- 1 January 1990
- journal article
- Published by EDP Sciences in RAIRO - Theoretical Informatics and Applications
- Vol. 24 (4) , 339-352
- https://doi.org/10.1051/ita/1990240403391
Abstract
RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applicationsKeywords
This publication has 7 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Decidability of bisimulation equivalence for processes generating context-free languagesPublished by Springer Nature ,1987
- Decidabilite de l'egalite des Langages Algebriques Infinitaires SimplesPublished by Springer Nature ,1986
- The theory of ends, pushdown automata, and second-order logicTheoretical Computer Science, 1985
- An axiomatic approach to the Korenjak-Hopcroft algorithmsTheory of Computing Systems, 1983
- Universal AlgebraPublished by Springer Nature ,1981
- Algebraic semanticsLecture Notes in Computer Science, 1981