Author:
Blanchette Jasmin Christian,Paskevich Andrei
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard—Version 2.0. In: Gupta, A., Kroening, D. (eds.) SMT 2010 (2010)
2. Lecture Notes in Artificial Intelligence;C. Benzmüller,2008
3. Lecture Notes in Computer Science;J.C. Blanchette,2013
4. Bobot, F., Conchon, S., Contejean, E., Lescuyer, S.: Implementing polymorphism in SMT solvers. In: Barrett, C., de Moura, L. (eds.) SMT 2008, pp. 1–5. ICPS, ACM (2008)
5. Lecture Notes in Computer Science;F. Bobot,2011
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stepping Stones in the TPTP World;Lecture Notes in Computer Science;2024
2. The Logic Languages of the TPTP World;Logic Journal of the IGPL;2022-09-12
3. Superposition with Lambdas;Journal of Automated Reasoning;2021-08-21
4. Extensional Higher-Order Paramodulation in Leo-III;Journal of Automated Reasoning;2021-03-27
5. SUPERPOSITION FOR LAMBDA-FREE HIGHER-ORDER LOGIC;LOG METH COMPUT SCI;2021