Deepak Kapur

Deepak Kapur (born August 24, 1950) is a Distinguished Professor in the Department of Computer Science at the University of New Mexico. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Kapur, Deepak', query time: 0.02s Refine Results
  1. 1
    Towards a Theory for Abstract Data Types

    Towards a Theory for Abstract Data Types by Kapur, Deepak

    Published 2023
    Get full text
  2. 2
    Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term Rewriting Systems

    Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term Rewriting Systems by Guttag, John V., Kapur, Deepak, Musser, David R.

    Published 2023
    Get full text

Search Tools: