Concepedia

Publication | Open Access

Folding variant narrowing and optimal variant termination

DOIFull Paper Access

119

Citations

22

References

2012

Year

Santiago Escobar, Ralf Sasse, José Meseguer
The Journal of Logic and Algebraic Programming

References

YearCitations

Page 1