Bibtex:RZ09

From Termination-Portal.org
Jump to navigationJump to search

BibTex

Matthias Raffelsieper, Hans Zantema - A Transformational Approach to Prove Outermost Termination Automatically

Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008) 237:3--21,2009
http://www.sciencedirect.com/science/article/B75H1-4VXW9BM-2/2/605a0eb821e594c2a7e88892fa106a0a
Bibtex
Author : Matthias Raffelsieper, Hans Zantema
Title : A Transformational Approach to Prove Outermost Termination Automatically
In : Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008) -
Address :
Date : 2009
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:RZ09&oldid=803"
Category:
  • Bibtex

Navigation menu

Page actions

  • Bibtex
  • Discussion
  • View source
  • History

Page actions

  • Bibtex
  • Discussion
  • More
  • Tools

Personal tools

  • Log in
  • Request account

Navigation

  • Home
  • News
  • People
  • Tools
  • References
  • Categories

resources

  • Workshop on Termination
  • Termination Problems Data Base
  • Termination Competition
  • Termination Tools Mailing List

 

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • This page was last edited on 18 May 2009, at 14:37.
  • About Termination-Portal.org (Impressum)