scientific article; zbMATH DE number 3924111

MaRDI QIDQ3698288zbMATH OpenFDO

Authors Jean Gallier

Publication date 1985

zbMATH Keywords

Classes of interpretationscomplete proof systemfunctions of finite typesinfinitary inference ruleLogic of inequalitiesn-rational algebrassemantics of recursive programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program algebras of recursive functions
• scientific article; zbMATH DE number 3916241
• n-Rational Algebras I. Basic Properties and Free Algebras
• scientific article; zbMATH DE number 3972168
• n-Rational Algebras II. Varieties and Logic of inequalities

Cited in

(5)

• The equational logic of fixed points
• n-Rational Algebras I. Basic Properties and Free Algebras
• n-Rational Algebras II. Varieties and Logic of inequalities
• scientific article; zbMATH DE number 7136663 (Why is no real title available?)
• Bi-rewriting, a term rewriting technique for monotonic order relations

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 Q3698288)