Difference between revisions of "Bibtex:Ohlebusch02"
From Termination-Portal.org
Jump to navigationJump to search| Line 6: | Line 6: | ||
title = {Advanced Topics in Term Rewriting}, | title = {Advanced Topics in Term Rewriting}, | ||
publisher = {Springer}, | publisher = {Springer}, | ||
| − | address = {New York}, | + | address = {New York}, |
year = {2002} | year = {2002} | ||
} | } | ||
</bibtex> | </bibtex> | ||
Latest revision as of 15:42, 21 September 2009
BibTex
Enno Ohlebusch - Advanced Topics in Term Rewriting
