Bibtex:DLMMU08

From Termination-Portal.org
Jump to: navigation, 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
Personal tools