Publisher
Springer International Publishing
Reference31 articles.
1. Andrews, P.B.: On connections and higher-order logic. J. Autom. Reasoning 5(3), 257–291 (1989)
2. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. J. Logic Comput. 4(3), 217–247 (1994)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Barbosa,2019
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Bentkamp,2019
5. Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P., Waldmann, U.: Superposition with lambdas (technical report). Technical report (2019).
http://matryoshka.gforge.inria.fr/pubs/lamsup_report.pdf
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献