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:

This article has been cited by the following article(s):

The equational logic of fixed points

Stephen L. Bloom and Zoltán Ésik
Theoretical Computer Science 179 (1-2) 1 (1997)
DOI: 10.1016/S0304-3975(96)00248-4
See this article

Equational properties of Kleene algebras of relations with conversion

Z. Ésik and L. Bernátsky
Theoretical Computer Science 137 (2) 237 (1995)
DOI: 10.1016/0304-3975(94)00041-G
See this article

Complete systems ofB-rational identities

Daniel Krob
Theoretical Computer Science 89 (2) 207 (1991)
DOI: 10.1016/0304-3975(91)90395-I
See this article

Alasdair Armstrong and Georg Struth
7560 66 (2012)
DOI: 10.1007/978-3-642-33314-9_5
See this article

The Bisimulation Problem for Equational Graphs of Finite Out-Degree

Géraud Sénizergues
SIAM Journal on Computing 34 (5) 1025 (2005)
DOI: 10.1137/S0097539700377256
See this article

Completeness of Park induction

Z. Ésik
Theoretical Computer Science 177 (1) 217 (1997)
DOI: 10.1016/S0304-3975(96)00240-X
See this article

Free inductive K -semialgebras

Z. Ésik and W. Kuich
The Journal of Logic and Algebraic Programming 82 (3-4) 111 (2013)
DOI: 10.1016/j.jlap.2013.01.001
See this article

Axiomatizing the equational theory of regular tree languages

Z. Ésik
The Journal of Logic and Algebraic Programming 79 (2) 189 (2010)
DOI: 10.1016/j.jlap.2009.10.001
See this article

Amina Doumane, Denis Kuperberg, Damien Pous and Pierre Pradic
11425 207 (2019)
DOI: 10.1007/978-3-030-17127-8_12
See this article

Paul Brunet and Damien Pous
8428 101 (2014)
DOI: 10.1007/978-3-319-06251-8_7
See this article

Zoltán ésik and Michael Bertol
944 27 (1995)
DOI: 10.1007/3-540-60084-1_60
See this article

On the Fine-Structure of Regular Algebra

Simon Foster and Georg Struth
Journal of Automated Reasoning 54 (2) 165 (2015)
DOI: 10.1007/s10817-014-9318-9
See this article

Shuffle binoids

S. L. Bloom and Z. Ésik
RAIRO - Theoretical Informatics and Applications 32 (4-6) 175 (1998)
DOI: 10.1051/ita/1998324-601751
See this article

Michael R. Laurence and Georg Struth
7560 179 (2012)
DOI: 10.1007/978-3-642-33314-9_12
See this article

Algebraically complete semirings and Greibach normal form

Zoltán Ésik and Hans Leiß
Annals of Pure and Applied Logic 133 (1-3) 173 (2005)
DOI: 10.1016/j.apal.2004.10.008
See this article

Models of Nondeterministic Regular Expressions

Flavio Corradini, Rocco De Nicola and Anna Labella
Journal of Computer and System Sciences 59 (3) 412 (1999)
DOI: 10.1006/jcss.1999.1636
See this article

Nonaxiomatisability of equivalences over finite state processes

Peter Sewell
Annals of Pure and Applied Logic 90 (1-3) 163 (1997)
DOI: 10.1016/S0168-0072(97)00036-5
See this article

Rewriting extended regular expressions

Valentin M. Antimirov and Peter D. Mosses
Theoretical Computer Science 143 (1) 51 (1995)
DOI: 10.1016/0304-3975(95)80024-4
See this article

Algorithms for Kleene algebra with converse

Paul Brunet and Damien Pous
Journal of Logical and Algebraic Methods in Programming 85 (4) 574 (2016)
DOI: 10.1016/j.jlamp.2015.07.005
See this article

Axiomatizing rational power series over natural numbers

S.L. Bloom and Z. Ésik
Information and Computation 207 (7) 793 (2009)
DOI: 10.1016/j.ic.2009.02.003
See this article

Equational properties of fixed-point operations in cartesian categories: An overview

Z Ésik
Mathematical Structures in Computer Science 29 (06) 909 (2019)
DOI: 10.1017/S0960129518000361
See this article

Substructural logic and partial correctness

Dexter Kozen and Jerzy Tiuryn
ACM Transactions on Computational Logic 4 (3) 355 (2003)
DOI: 10.1145/772062.772066
See this article

Damien Pous, Jurriaan Rot and Jana Wagemaker
13027 378 (2021)
DOI: 10.1007/978-3-030-88701-8_23
See this article

On the equational definition of the least prefixed point

Luigi Santocanale
Theoretical Computer Science 295 (1-3) 341 (2003)
DOI: 10.1016/S0304-3975(02)00412-7
See this article

Simon Foster and Georg Struth
7364 271 (2012)
DOI: 10.1007/978-3-642-31365-3_22
See this article

Completeness results for omega-regular algebras

James Cranch, Michael R. Laurence and Georg Struth
Journal of Logical and Algebraic Methods in Programming 84 (3) 402 (2015)
DOI: 10.1016/j.jlamp.2014.10.002
See this article

Une condition impliquant toutes les identités rationnelles

M. Boffa
RAIRO - Theoretical Informatics and Applications 29 (6) 515 (1995)
DOI: 10.1051/ita/1995290605151
See this article

A Finite Axiomatization of Nondeterministic Regular Expressions

Flavio Corradini, Rocco De Nicola and Anna Labella
RAIRO - Theoretical Informatics and Applications 33 (4-5) 447 (1999)
DOI: 10.1051/ita:1999127
See this article