Вы здесь

Kapur D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A New Method for Proving Termination of AC-Rewrite Systems 1900 Kapur D., Sivakumar G., Zhang H. Lecture Notes in Computer Science 05.03.1991
СТ Automated reasoning about parallel algorithms using powerlists 1995 Kapur D., Subramaniam M. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Program Verification Using Automatic Generation of Invariants 2005 Rodriguez-Carbonell E., Kapur D. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ Using Linear Arithmetic Procedure for Generating Induction Schemes 1994 Kapur D., Subramaniam M. Lecture Notes in Computer Science 11.01.1995