The following pages link to (Q4737893):
Displaying 12 items.
- A connection between concurrency and language theory (Q265802) (← links)
- A fixed point characterization of cofinite languages (Q800497) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Residuated Park theories (Q3195621) (← links)
- (Q4623261) (← links)
- Algebraic Methodology and Software Technology (Q5312970) (← links)
- On the Fixpoint Theory of Equality and Its Applications (Q5459195) (← links)
- A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS (Q5704378) (← links)
- On the expressibility of languages by word equations with a bounded number of variables (Q5952903) (← links)