Author:
Dietrich Dominik,Whiteside Iain,Aspinall David
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Arias, T.B.C., van der Spek, P., Avgeriou, P.: A practice-driven systematic review of dependency analysis solutions. Empirical Software Engineering 16(5), 544–586 (2011)
2. Aschbacher, M.: Highly complex proofs and implications of such proofs. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363, 2401–2406 (2005)
3. Lecture Notes in Computer Science;S. Autexier,2012
4. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. 6(4), 557–575 (1981)
5. Bell Canada. DATRIX abstract semantic graph reference manual (version 1.4). Technical report (2000)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof repair across type equivalences;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
3. QED at Large: A Survey of Engineering of Formally Verified Software;Foundations and Trends® in Programming Languages;2019
4. Aligning concepts across proof assistant libraries;Journal of Symbolic Computation;2019-01
5. A Semantic Basis for Proof Queries and Transformations;Logic for Programming, Artificial Intelligence, and Reasoning;2013