n-Rational Algebras I. Basic Properties and Free Algebras

DOI10.1137/0213047MaRDI QIDQ3217592zbMATH OpenOpenAlexFDO

Authors Jean Gallier

Publication date 1984

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0213047

zbMATH Keywords

algebraic semanticsconstructive chainsfixed-pointshierarchy of algebrasinfinite treesinterpretations for finite recursion schemes of higher typeslogic of inequalities

Mathematics Subject Classification ID

Free algebras (08B20) Abstract data types; algebraic specification (68Q65)

Recommendations

• n-Rational Algebras II. Varieties and Logic of inequalities
• scientific article; zbMATH DE number 3924111
• scientific article; zbMATH DE number 3870582
• scientific article; zbMATH DE number 4039263
• Rationality in algebras with a series operation

Cited in

(7)

• Algebraic solutions to recursion schemes
• Parameter-reduction of higher level grammars
• \(L(A)=L(B)\)? decidability results from complete formal systems
• Algebraic linear orderings
• n-Rational Algebras II. Varieties and Logic of inequalities
• scientific article; zbMATH DE number 3870582 (Why is no real title available?)
• scientific article; zbMATH DE number 3924111 (Why is no real title available?)

This page was built for publication: n-Rational Algebras I. Basic Properties and Free Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3217592)