Searching for authors named Ashish Tiwari – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Rewrite Closures for Ground and Cancellative AC Theories
- …Rewrite Closures for Ground and Cancellative AC Theories Ashish Tiwari SRI International, 333…
- Cited by 1 (1 self) – Add To MetaCart
-
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time
- …://www.lri.fr/˜rtaloop/index.html Ashish Tiwari SRI International 333 Ravenswood Ave Menlo Park, CA, U.S.A tiwari@(email omitted); Very recently…
- Cited by 3 (1 self) – Add To MetaCart
-
Abstract of the Dissertation Decision Procedures in Automated Deduction
- …Decision Procedures in Automated Deduction a dissertation presented by Ashish Tiwari…
- Add To MetaCart
-
Abstractions for Hybrid Systems
- …Abstractions for Hybrid Systems ∗ Ashish Tiwari (tiwari@(email omitted);) SRI International, 333…
- Cited by 3 (0 self) – Add To MetaCart
-
Termination of Linear Programs
- …Termination of Linear Programs Ashish Tiwari ⋆ SRI International, 333 Ravenswood Ave, Menlo Park…
- Cited by 25 (0 self) – Add To MetaCart
-
CSE 528 Project : Sweeping a 3-D Tetrahedral Complex
- …CSE 528 Project : Sweeping a 3-D Tetrahedral Complex Ashish Tiwari 28 Nov 1995 Abstract…
- Add To MetaCart
-
Join algorithms for the theory of uninterpreted functions
- … Join Algorithms for the Theory of Uninterpreted Functions? Sumit Gulwani1, Ashish Tiwari2…
- Cited by 5 (4 self) – Add To MetaCart
-
Congruence Closure and Syntactic Unification
- …Congruence Closure and Syntactic Unification ? (Abstract) Leo Bachmair and Ashish Tiwari…
- Add To MetaCart
-
Confluence of shallow right-linear rewrite systems
- …Confluence of Shallow Right-Linear Rewrite Systems ⋆ Guillem Godoy 1 and Ashish Tiwari 2 1…
- Cited by 4 (0 self) – Add To MetaCart
-
Series of Abstractions for Hybrid Automata
- …Series of Abstractions for Hybrid Automata ? Ashish Tiwari 1 and Gaurav Khanna 2 1 SRI…
- Cited by 46 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
