Author:
Vukmirović Petar,Blanchette Jasmin Christian,Cruanes Simon,Schulz Stephan
Publisher
Springer International Publishing
Reference33 articles.
1. Andrews, P.B.: Resolution in type theory. J. Symb. Log. 36(3), 414–432 (1971)
2. Andrews, P.B., Bishop, M., Issar, S., Nesmith, D., Pfenning, F., Xi, H.: TPS: a theorem-proving system for classical type theory. J. Autom. Reason. 16(3), 321–353 (1996)
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
4. Barbosa, H., Reynolds, A., Fontaine, P., Ouraoui, D.E., Tinelli, C.: Higher-order SMT solving (work in progress). In: Dimitrova, R., D’Silva, V. (eds.) SMT 2018 (2018)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Becker,2017
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献