The following pages link to David M. Cerna (Q1694472):
Displaying 12 items.
- Integrating a global induction mechanism into a sequent calculus (Q1694473) (← links)
- (Q2096436) (redirect page) (← links)
- Covered clauses are not propagation redundant (Q2096437) (← links)
- Anti-unification and the theory of semirings (Q2215964) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- Schematic refutations of formula schemata (Q2666952) (← links)
- Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)
- Idempotent Anti-unification (Q4972174) (← links)
- (Q4993338) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
