Author:
Kuncak Viktor,Nguyen Huu Hai,Rinard Martin
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference65 articles.
1. Ackermann, W.: Solvable Cases of the Decision Problem. North Holland, Amsterdam (1954)
2. Arkoudas, K., Zee, K., Kuncak, V., Rinard, M.: Verifying a file system implementation. In: Sixth International Conference on Formal Engineering Methods (ICFEM ’04), vol. 3308 of LNCS. Seattle (2004)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Boston, Massachusetts (2003)
4. Barrett, C., Berezin, S.: CVC lite: A new implementation of the cooperating validity checker. In: Alur, R., Peled, D.A. (eds.) Proceedings of the 16th International Conference on Computer Aided Verification (CAV ’04). Lecture Notes in Computer Science, vol. 3114, pp. 515–518. Boston, Massachusetts (2004)
5. Berman, L.: The complexity of logical theories. Theor. Comp. Sci. 11(1), 71–77 (1980)
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Succinct ordering and aggregation constraints in algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-08
2. On algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-01
3. Proving Query Equivalence Using Linear Integer Arithmetic;Proceedings of the ACM on Management of Data;2023-12-08
4. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals;ACM Transactions on Computational Logic;2023-11-18
5. NP Satisfiability for Arrays as Powers;Lecture Notes in Computer Science;2022