Bibtex:DLMMU08

From Termination-Portal.org
Jump to navigationJump to search

BibTex

F. Durán, S. Lucas, C. Marché, J. Meseguer, X. Urbain - Proving operational termination of membership equational

programs

Higher-Order and Symbolic Computation 21(1-2):59-88,2008
Bibtex
Author : F. Durán, S. Lucas, C. Marché, J. Meseguer, X. Urbain
Title : Proving operational termination of membership equational programs
In : Higher-Order and Symbolic Computation -
Address :
Date : 2008
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:DLMMU08&oldid=873"