Funder
Deutsche Forschungsgemeinschaft
Volkswagen Foundation
Publisher
Springer Science and Business Media LLC
Reference21 articles.
1. Andrews PB (1972) General models and extensionality. J Symb Log 37(2):395–397.
https://doi.org/10.2307/2272982
2. Andrews PB (1972) General models, descriptions, and choice in type theory. J Symb Log 37(2):385–394.
https://doi.org/10.2307/2272981
3. Bachmair L, Ganzinger H (1994) Rewrite-based equational theorem proving with selection and simplification. J Log Comput 4(3):217–247.
https://doi.org/10.1093/logcom/4.3.217
4. Benzmüller C (1999) Extensional higher-order paramodulation and RUE-resolution. In: CADE-16, LNCS, 1632:399–413. Springer
5. Benzmüller C (2015) Higher-order automated theorem provers. In: Delahaye D, Woltzenlogel Paleo B (eds) All about proofs, proof for all, mathematical logic and foundations. College Publications, London, pp 171–214
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献