scientific article; zbMATH DE number 2087210
From MaRDI portal
Publication:4737893
Recommendations
- The equational logic of fixed points
- Infinitary axiomatization of the equational theory of context-free languages
- Infinitary axiomatization of the equational theory of context-free languages
- scientific article; zbMATH DE number 1300966
- Aspects of Molecular Computing
- Fixed point languages of rational transductions
- A fixed point characterization of cofinite languages
- Duality and Equational Theory of Regular Languages
- On the Fixpoint Theory of Equality and Its Applications
- On the expressibility of languages by word equations with a bounded number of variables
Cited in
(18)- A connection between concurrency and language theory
- Denotational models for programming languages: Applications of Banach's fixed point theorem
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
- Axiomatizing the equational theory of regular tree languages
- A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS
- scientific article; zbMATH DE number 7023675 (Why is no real title available?)
- Fixed point theory
- On the Fixpoint Theory of Equality and Its Applications
- Algebraic Methodology and Software Technology
- On the expressibility of languages by word equations with a bounded number of variables
- scientific article; zbMATH DE number 3858387 (Why is no real title available?)
- Residuated Park theories
- Equational descriptions of languages
- A fixed point characterization of cofinite languages
- scientific article; zbMATH DE number 1834683 (Why is no real title available?)
- New types of automata to solve fixed point problems
- Infinitary axiomatization of the equational theory of context-free languages
- Infinitary axiomatization of the equational theory of context-free languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737893)
