14 citations · 29 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Uniqueness of Normal Forms for Shallow Term Rewrite Systems
Nicholas Radcliffe, Luis Moraes, Rakesh Verma
Uniqueness of normal forms () is an important property of term rewrite systems. is decidable for ground (i.e., variable-free) systems and undecidable in general. Recen…
cs.LO2000
Static Analysis Techniques for Equational Logic Programming
Rakesh M. Verma
An equational logic program is a set of directed equations or rules, which are used to compute in the obvious way (by replacing equals with ``simpler'' equals). We present static a…