Author:
Berghofer Stefan,Reiter Markus
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Basin, D., Friedrich, S.: Combining WS1S and HOL. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems 2. Studies in Logic and Computation, vol. 7, pp. 39–56. Research Studies Press/Wiley (2000)
2. Lecture Notes in Computer Science;S. Berghofer,2002
3. Lecture Notes in Computer Science;A. Boudet,1996
4. Lecture Notes in Computer Science;S. Boutin,1997
5. Chaieb, A., Nipkow, T.: Proof synthesis and reflection for linear arithmetic. Journal of Automated Reasoning 41, 33–59 (2008)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献