Author:
Reger Giles,Voronkov Andrei
Publisher
Springer International Publishing
Reference24 articles.
1. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016).
www.SMT-LIB.org
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);K Claessen,2013
3. Comon, H.: Inductionless induction. In: Handbook of Automated Reasoning (in 2 vols.), pp. 913–962 (2001)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Cruanes,2017
5. Lecture Notes in Computer Science;L Dixon,2004
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献