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 - 4 results of 4 for search 'Deepak Kapur', query time: 0.03s Refine Results
  1. 1
    Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

    Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties by Deepak Kapur

    Published 2023-03-01
    Get full text
    Article
  2. 2
    Algorithms for computing grobner bases of polynomial ideals over various euclidean rings /

    Algorithms for computing grobner bases of polynomial ideals over various euclidean rings / by 380234 Abdelilah Kandri-Rody, Deepak Kapur

  3. 3
    Uniform Interpolants in EUF: Algorithms using DAG-representations

    Uniform Interpolants in EUF: Algorithms using DAG-representations by Silvio Ghilardi, Alessandro Gianola, Deepak Kapur

    Published 2022-04-01
    Get full text
    Article
  4. 4
    Unification modulo a partial theory of exponentiation

    Unification modulo a partial theory of exponentiation by Paliath Narendran, Andrew Marshall, Deepak Kapur

    Published 2010-12-01
    Get full text
    Article

Search Tools: