Pages that link to "Item:Q3249759"

The following pages link to Linear reasoning. A new form of the Herbrand-Gentzen theorem (Q3249759):

Displaying 50 items.

• Preface: Special issue on interpolation (Q286728) (← links)
• Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
• Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
• Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
• An interpolating sequent calculus for quantifier-free Presburger arithmetic (Q438556) (← links)
• Incremental preprocessing methods for use in BMC (Q453488) (← links)
• Constraint solving for interpolation (Q604394) (← links)
• Alternative semantics for unawareness (Q700078) (← links)
• On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
• Efficient generation of small interpolants in CNF (Q746773) (← links)
• An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
• A semantic approach to interpolation (Q1006639) (← links)
• The many faces of interpolation (Q1024113) (← links)
• The road to two theorems of logic (Q1024115) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
• Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations (Q1039847) (← links)
• On sequence-conclusion natural deduction systems (Q1062053) (← links)
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
• A compact representation of proofs (Q1102282) (← links)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
• A simple algebraic proof of the equational interpolation theorem (Q1173754) (← links)
• Mixed-valued predicate calculi (Q1221737) (← links)
• A unifying view on SMT-based software verification (Q1703012) (← links)
• Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
• Experience of improving the BLAST static verification tool (Q1758710) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• Interpolation in Grothendieck institutions (Q1884940) (← links)
• Locally Boolean spectra (Q1891270) (← links)
• On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
• Lower bound techniques for QBF expansion (Q1987510) (← links)
• Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
• Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
• Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) (← links)
• Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
• Partial predicate abstraction and counter-example guided refinement (Q2291815) (← links)
• NIL: learning nonlinear interpolants (Q2305413) (← links)
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
• Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
• On interpolation in automated theorem proving (Q2352502) (← links)
• A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
• Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
• Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
• Amalgamation, congruence-extension, and interpolation properties in algebras (Q2552131) (← links)
• Definibility in normal theories (Q2562854) (← links)
• Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
• On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
• Interpolant Learning and Reuse in SAT-Based Model Checking (Q2864382) (← links)
• Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (Q3000643) (← links)