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
Personal tools