scientific article; zbMATH DE number 4776
From MaRDI portal
Publication:4712663
zbMath0744.68114MaRDI QIDQ4712663
Emmanuel Kounalis, Michaël Rusinowitch
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A proof system for conditional algebraic specifications, On sufficient completeness of conditional specifications, Implicit induction in conditional theories, Proofs in parameterized specifications, Program transformation and rewriting, Proving Ramsey's theory by the cover set induction: A case and comparision study., Induction using term orders, Test sets for the universal and existential closure of regular tree languages., Using induction and rewriting to verify and complete parameterized specifications, Mechanically certifying formula-based Noetherian induction reasoning, A general framework to build contextual cover set induction provers, Induction using term orderings, Mechanizable inductive proofs for a class of ∀ ∃ formulas, On notions of inductive validity for first-order equational clauses, On word problems in Horn theories
