n-Rational Algebras I. Basic Properties and Free Algebras

DOI10.1137/0213047zbMath0554.68017OpenAlexW2064143133MaRDI QIDQ3217592

Jean H. 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 semanticsfixed-pointsinfinite treeslogic of inequalitieshierarchy of algebrasconstructive chainsinterpretations for finite recursion schemes of higher types

Mathematics Subject Classification ID

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

Related Items (4)

Algebraic solutions to recursion schemes ⋮ Parameter-reduction of higher level grammars ⋮ ALGEBRAIC LINEAR ORDERINGS ⋮ \(L(A)=L(B)\)? decidability results from complete formal systems

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