Travelled to:
1 × USA
Collaborated with:
D.M.Latch
Talks about:
properti (1) termin (1) system (1) rewrit (1) local (1) term (1)
Person: Ron Sigal
DBLP: Sigal:Ron
Contributed to:
Wrote 1 papers:
- RTA-1989-LatchS #term rewriting #termination
- A Local Termination Property for Term Rewriting Systems (DML, RS), pp. 222–233.