n-Rational Algebras II. Varieties and Logic of inequalities

DOI10.1137/0213048zbMath0554.68018OpenAlexW2019664237MaRDI QIDQ3217593

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/0213048

zbMATH Keywords

Galois connectionalgebraic semanticsinfinite treesrecursion schemeslogic of inequalitiesclasses of interpretationsdeductive system for proving inequalitiesinfinitary inference rulesemi-varietiesvarieties of n-rational algebraswell-founded proof trees

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Varieties (08B99)

Related Items (3)

Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Solving polynomial fixed point equations ⋮ Fundamental properties of infinite trees

This page was built for publication: n-Rational Algebras II. Varieties and Logic of inequalities