The following pages link to Theorem proving modulo (Q1431339):
Displayed 9 items.
- Theorem proving modulo (Q1431339) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Superposition with equivalence reasoning and delayed clause normal form transformation (Q2486577) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Proof normalization modulo (Q4650285) (← links)