The following pages link to (Q4539610):
Displaying 8 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Things to know when implementing KBO (Q861708) (← links)
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- A set automaton to locate all pattern matches in a term (Q2119959) (← links)
- Efficient instance retrieval with standard and relational path indexing (Q2486586) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- Citius altius fortius (Q4916218) (← links)