Jump to content

Bibtex:DLMMU08

From Termination-Portal.org
Revision as of 15:42, 16 June 2009 by Balarcon (talk | contribs) (New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @article{DBLP:journals/lisp/DuranLMMU08, 

 author    = {F. Durán and
              S. Lucas and
              C. Marché and
              J. Meseguer and
              X. Urbain},
 title     = {Proving operational termination of membership equational
              programs},
 journal   = {Higher-Order and Symbolic Computation},
 volume    = {21},
 number    = {1-2},
 year      = {2008},
 pages     = {59-88},

}



</bibtex>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:DLMMU08&oldid=873"