Pages that link to "Item:Q2432764"

The following pages link to Modular proof systems for partial functions with Evans equality (Q2432764):

Displaying 14 items.

• Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
• Theory decision by decomposition (Q1041591) (← links)
• Superposition decides the first-order logic fragment over ground theories (Q1949088) (← links)
• On invariant synthesis for parametric systems (Q2305429) (← links)
• Applications of Hierarchical Reasoning in the Verification of Complex Systems (Q2864523) (← links)
• Automatic Verification of Combined Specifications: An Overview (Q2873685) (← links)
• On First-Order Model-Based Reasoning (Q2945706) (← links)
• An Extension of the Knuth-Bendix Ordering with LPO-Like Properties (Q3498479) (← links)
• Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
• Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
• On Combinations of Local Theory Extensions (Q4916087) (← links)
• Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
• On Local Reasoning in Verification (Q5458332) (← links)
• Hierarchical Reasoning for the Verification of Parametric Systems (Q5747759) (← links)