PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kapur, Deepak"

Author of the publication

copydeleteadd this publication to your clipboard
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

, , , , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 195-212. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Deepak Deepak University of Stuttgart

Short-circuit currents characterization for future converter-based power systems, , , , and . 27th International Conference on Electricity Distribution (CIRED 2023), page 2175-2179. Stevenage, Institution of Engineering and Technology, (2023)

Ganesh Deepak Rupakula University of Stuttgart

 

Other publications of authors with the same name

The Tecton Proof System., , and . Formal Methods in Databases and Software Engineering, page 54-79. Springer, (1992)Matching, unification and complexity., and . ACM SIGSAM Bulletin, 21 (4): 6-9 (1987)Preface - Special Issue of Selected Extended Papers of IJCAR 2014., , and . J. Autom. Reasoning, 58 (1): 1-2 (2017)Inductive Decidability Using Implicit Induction., and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 45-59. Springer, (2006)Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions., and . TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 136-154. Springer, (2003)Program Verification Using Automatic Generation of Invariants., and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 325-340. Springer, (2004)Automating Induction over Mutually Recursive Functions., and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 117-131. Springer, (1996)Automating Proofs of Integrity Constraints in Situation Calculus., , , , and . ISMIS, volume 1079 of Lecture Notes in Computer Science, page 212-222. Springer, (1996)On Asymmetric Unification and the Combination Problem in Disjoint Theories., , , , , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 274-288. Springer, (2014)Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover., and . ASIAN, volume 1538 of Lecture Notes in Computer Science, page 22-42. Springer, (1998)