Cited By
View all- Wu HWang JXia BLi XZhan NGan T(2024)Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic SetsFormal Methods10.1007/978-3-031-71162-6_5(92-110)Online publication date: 9-Sep-2024
- Ghilardi SPoidomani L(2024)Model Completeness for Rational TreesAutomated Reasoning10.1007/978-3-031-63498-7_16(265-283)Online publication date: 1-Jul-2024
- Murali APeña LJhala RMadhusudan P(2023)Complete First-Order Reasoning for Properties of Functional ProgramsProceedings of the ACM on Programming Languages10.1145/36228357:OOPSLA2(1063-1092)Online publication date: 16-Oct-2023
- Show More Cited By