Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ashish Tiwari 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Guillem Godoy

> Home > Persons > Ashish Tiwari 0001

Publications

2013
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CreusGMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CreusGMT13
Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
Non-Linear Rewrite Closure and Weak Normalization. J. Autom. Reason. 51(3): 281-324 (2013)
2010
[j12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1006-0706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-0706
Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari:
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories. Log. Methods Comput. Sci. 6(3) (2010)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/GasconGST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GasconGST10
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari:
Context unification with one context variable. J. Symb. Comput. 45(2): 173-193 (2010)
2009
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CreusGMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CreusGMT09
Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari:
Non-linear Rewrite Closure and Weak Normalization. LICS 2009: 365-374
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GodoyT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GodoyT09
Guillem Godoy, Ashish Tiwari:
Invariant Checking for Programs with Procedure Calls. SAS 2009: 326-342
2007
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/GodoyHT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/GodoyHT07
Guillem Godoy, Eduard Huntingford, Ashish Tiwari:
Termination of Rewriting with Right-Flat Rules. RTA 2007: 200-213
2005
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GodoyT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GodoyT05
Guillem Godoy, Ashish Tiwari:
Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. CADE 2005: 164-176
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/GodoyT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/GodoyT05
Guillem Godoy, Ashish Tiwari:
Confluence of Shallow Right-Linear Rewrite Systems. CSL 2005: 541-556
2004
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/aaecc/GodoyTV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aaecc/GodoyTV04
Guillem Godoy, Ashish Tiwari, Rakesh M. Verma:
Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Appl. Algebra Eng. Commun. Comput. 15(1): 13-36 (2004)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GodoyTV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GodoyTV04
Guillem Godoy, Ashish Tiwari, Rakesh M. Verma:
Deciding confluence of certain term rewriting systems in polynomial time. Ann. Pure Appl. Log. 130(1-3): 33-59 (2004)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GodoyNT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GodoyNT04
Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari:
Classes of term rewrite systems with polynomial confluence problems. ACM Trans. Comput. Log. 5(2): 321-331 (2004)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GodoyT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GodoyT04
Guillem Godoy, Ashish Tiwari:
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. IJCAR 2004: 91-106
2003
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/GodoyTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/GodoyTV03
Guillem Godoy, Ashish Tiwari, Rakesh M. Verma:
On the Confluence of Linear Shallow Term Rewrite Systems. STACS 2003: 85-96

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.