scientific article; zbMATH DE number 4164171
From MaRDI portal
Publication:3490989
Recommendations
Cited in
(32)- On observational equivalence and algebraic specification
- A circumscriptive theorem prover
- 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
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- A framework for the verification of certifying computations
- A taxonomy of exact methods for partial Max-SAT
- E-generalization using grammars
- Shallow confluence of conditional term rewriting systems
- A metatheory of a mechanized object theory
- A theorem prover for Boolean BI
- A Modular Equational Generalization Algorithm
- An Evaluation Based Theorem Prover
- scientific article; zbMATH DE number 2024610 (Why is no real title available?)
- Efficient second-order matching
- Building Theorem Provers
- Induction using term orderings
- Theorem Proving in Higher Order Logics
- A machine program for theorem-proving
- An experimental logic based on the fundamental deduction principle
- A general framework to build contextual cover set induction provers
- A theorem prover for a computational logic
- The expressiveness of a family of finite set languages
- Rippling: A heuristic for guiding inductive proofs
- Meta-circular interpreter for a strongly typed language
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 Q3490989)
