Publication:3490989
From MaRDI portal
zbMath0708.68060MaRDI QIDQ3490989
Robert S. Boyer, J. Strother Moore
Publication date: 1990
Related Items
A general framework to build contextual cover set induction provers, An experimental logic based on the fundamental deduction principle, The expressiveness of a family of finite set languages, Rippling: A heuristic for guiding inductive proofs, Meta-circular interpreter for a strongly typed language, On observational equivalence and algebraic specification, Prolegomena to a theory of mechanized formal reasoning, Inferring the equivalence of functional programs that mutate data, Synthesis of ML programs in the system Coq, Proving Ramsey's theory by the cover set induction: A case and comparision study., Program tactics and logic tactics, A rewriting approach to satisfiability procedures., The automated proof of a trace transformation for a bitonic sort, Automata-driven automated induction, Sound generalizations in mathematical induction, E-generalization using grammars, Shallow confluence of conditional term rewriting systems, A Modular Equational Generalization Algorithm
Uses Software