( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preface - Special Issue of Selected Extended Papers of IJCAR 2014.

, , и . J. Autom. Reason., 58 (1): 1-2 (2017)

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.

Tina Kapur

Aphrodite Kapurniotu

Malak Basheshar Kapur

Deepak Bararia

Deepak Ajwani

 

Другие публикации лиц с тем же именем

Conditional Congruence Closure over Uninterpreted and Interpreted Symbols.. J. Systems Science & Complexity, 32 (1): 317-355 (2019)Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation., , , и . CoRR, (2019)Using Dynamic Analysis to Generate Disjunctive Invariants., , , и . CoRR, (2019)Expressiveness of the Operation Set of a Data Abstraction., и . POPL, стр. 139-153. ACM Press, (1980)Mechanically Verifying a Family of Multiplier Circuits., и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 135-146. Springer, (1996)When Is a Formula a Loop Invariant?, и . Logic, Rewriting, and Concurrency, том 9200 из Lecture Notes in Computer Science, стр. 264-286. Springer, (2015)A Transformational Methodology for Proving Termination of Logic Programs., , и . CSL, том 626 из Lecture Notes in Computer Science, стр. 213-226. Springer, (1991)Announcement.. J. Autom. Reason., 31 (2): 105-105 (2003)Preface., и . J. Autom. Reason., 34 (4): 323 (2005)Deciding Inductive Validity of Equations., и . CADE, том 2741 из Lecture Notes in Computer Science, стр. 17-31. Springer, (2003)