Bibtex:GSST06

From Termination-Portal.org

Jump to: navigation, 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://www.termination-portal.org/wiki/Bibtex:GSST06"
Personal tools