The following pages link to (Q4447245):
Displaying 7 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- The equational part of proofs by structural induction (Q1317862) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- (Q4012183) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
- iProver-Eq: An Instantiation-Based Theorem Prover with Equality (Q5747761) (← links)