Concepedia

Publication | Open Access

Proving operational termination of membership equational programs

DOIFull Paper Access

69

Citations

22

References

2008

Year

Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain
LISP and Symbolic Computation

Abstract

International audience

References

YearCitations

Page 1