scientific article

zbMath0577.68026MaRDI QIDQ3698288

Jean H. Gallier

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complete proof systeminfinitary inference ruleClasses of interpretationsfunctions of finite typesLogic of inequalitiesn-rational algebrassemantics of recursive programs

Mathematics Subject Classification ID

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

Related Items

Bi-rewriting, a term rewriting technique for monotonic order relations, Unnamed Item, The equational logic of fixed points