`Travelled to:`

1 × France

1 × Spain

2 × USA

`Collaborated with:`

D.Kapur N.Dershowitz S.Mitra M.Okada H.Zhang P.Narendran

`Talks about:`

system (4) rewrit (4) termin (2) condit (2) prove (2) order (2) path (2) laboratori (1) converg (1) theori (1)

## Person: G. Sivakumar

### DBLP: Sivakumar:G=

### Contributed to:

### Wrote 6 papers:

- RTA-1997-KapurS #order #proving #term rewriting #termination
- A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems (DK, GS), pp. 142–156.
- CADE-1992-DershowitzMS #convergence #decidability
- Decidable Matching for Convergent Systems (ND, SM, GS), pp. 589–602.
- ALP-1990-DershowitzMS #equation
- Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.
- CADE-1988-DershowitzOS #canonical #term rewriting
- Canonical Conditional Rewrite Systems (ND, MO, GS), pp. 538–549.
- CADE-1986-KapurSZ #named
- RRL: A Rewrite Rule Laboratory (DK, GS, HZ), pp. 691–692.
- CAAP-1985-KapurNS #order #proving #term rewriting #termination
- A Path Ordering for Proving Termination of Term Rewriting Systems (DK, PN, GS), pp. 173–187.