scientific article
From MaRDI portal
Publication:3490989
zbMath0708.68060MaRDI QIDQ3490989
Robert S. Boyer, J. Strother Moore
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (24)
Sound generalizations in mathematical induction ⋮ On observational equivalence and algebraic specification ⋮ Efficient second-order matching ⋮ Proving Ramsey's theory by the cover set induction: A case and comparision study. ⋮ Program tactics and logic tactics ⋮ A metatheory of a mechanized object theory ⋮ Prolegomena to a theory of mechanized formal reasoning ⋮ A rewriting approach to satisfiability procedures. ⋮ Meta-circular interpreter for a strongly typed language ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ E-generalization using grammars ⋮ The expressiveness of a family of finite set languages ⋮ Inferring the equivalence of functional programs that mutate data ⋮ Rippling: A heuristic for guiding inductive proofs ⋮ A general framework to build contextual cover set induction provers ⋮ An experimental logic based on the fundamental deduction principle ⋮ A Modular Equational Generalization Algorithm ⋮ Shallow confluence of conditional term rewriting systems ⋮ Induction using term orderings ⋮ The automated proof of a trace transformation for a bitonic sort ⋮ Automata-driven automated induction ⋮ A framework for the verification of certifying computations ⋮ Synthesis of ML programs in the system Coq
Uses Software
This page was built for publication:
