Bibtex:GSST06

From Termination-Portal.org
Jump to navigationJump to search

BibTex

J. Giesl, S. Swiderski, P. Schneider-Kamp, R. Thiemann - Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages

Proceedings RTA '06 pp. 297-312,2006
Bibtex
Author : J. Giesl, S. Swiderski, P. Schneider-Kamp, R. Thiemann
Title : Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
In : Proceedings RTA '06 -
Address :
Date : 2006
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:GSST06&oldid=333"