Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by $$\omega $$

Christian Choffrut and Serge Grigorieff
Algebra universalis 81 (3) (2020)
https://doi.org/10.1007/s00012-020-00671-9

Mathematical Foundations of Computer Science 2007

Nicolas Bedon and Chloé Rispal
Lecture Notes in Computer Science, Mathematical Foundations of Computer Science 2007 4708 477 (2007)
https://doi.org/10.1007/978-3-540-74456-6_43

CCS with Hennessy's merge has no finite-equational axiomatization

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir and Bas Luttik
Theoretical Computer Science 330 (3) 377 (2005)
https://doi.org/10.1016/j.tcs.2004.10.003

Algebraic and graph-theoretic properties of infiniten-posets

Zoltán Ésik and Zoltán L. Németh
RAIRO - Theoretical Informatics and Applications 39 (1) 305 (2005)
https://doi.org/10.1051/ita:2005018

LATIN 2000: Theoretical Informatics

Stephen L. Bloom and Zoltán Ésik
Lecture Notes in Computer Science, LATIN 2000: Theoretical Informatics 1776 367 (2000)
https://doi.org/10.1007/10719839_36

Foundations of Software Technology and Theoretical Computer Science

Zoltán Ésik and Satoshi Okawa
Lecture Notes in Computer Science, Foundations of Software Technology and Theoretical Computer Science 1738 316 (1999)
https://doi.org/10.1007/3-540-46691-6_25

There is no complete axiom system for shuffle expressions

A. Szepietowski
RAIRO - Theoretical Informatics and Applications 33 (3) 271 (1999)
https://doi.org/10.1051/ita:1999117