Bibtex:CoLoR06

From Termination-Portal.org
Jump to navigationJump to search

BibTex

F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski - CoLoR: a Coq Library on Rewriting and termination

Proceedings of the 8th International Workshop on Termination (WST) ,2006
http://www-rocq.inria.fr/~blanqui/wst06color-pdf.html
Bibtex
Author : F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski
Title : CoLoR: a Coq Library on Rewriting and termination
In : Proceedings of the 8th International Workshop on Termination (WST) -
Address :
Date : 2006
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR06&oldid=833"
Categories:
  • Bibtex
  • BibtexNews

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 3 June 2009, at 07:12.
  • About Termination-Portal.org (Impressum)