External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the Relation between Sized-Types Based Termination and Semantic Labelling

Frédéric Blanqui, Cody Roux. On the Relation between Sized-Types Based Termination and Semantic Labelling. In Erich Grädel, Reinhard Kahle, editors, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Volume 5771 of Lecture Notes in Computer Science, pages 147-162, Springer, 2009. [doi]

Authors

Frédéric Blanqui

This author has not been identified. Look up 'Frédéric Blanqui' in Google

Cody Roux

This author has not been identified. Look up 'Cody Roux' in Google
runs on