dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Deepak Kapur (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur: Inference Rules and Proof Procedures for Inequations. J. Log. Program. 9(1): 75-104 (1990)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, Mandayam K. Srivas: Computability and Implementability Issues in Abstract Data Types. Sci. Comput. Program. 10(1): 33-63 (1988)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChilukuri K. Mohan, Mandayam K. Srivas, Deepak Kapur: Reasoning in Systems of Equations and Inequations. FSTTCS 1987: 305-325
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, Mandayam K. Srivas: A Rewrite Rule Based Approach for Synthesizing Abstract Data Types. TAPSOFT, Vol.1 1985: 188-207
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak Kapur, Mandayam K. Srivas: Expressiveness of the Operation Set of a Data Abstraction. POPL 1980: 139-153

Selection of 5 from 165 records - Deepak Kapur has 92 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page