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.

Craig Interpolation for Linear Temporal Languages

Amélie Gheerbrant, Balder ten Cate. Craig Interpolation for Linear Temporal Languages. 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 287-301, Springer, 2009. [doi]

Authors

Amélie Gheerbrant

This author has not been identified. Look up 'Amélie Gheerbrant' in Google

Balder ten Cate

This author has not been identified. Look up 'Balder ten Cate' in Google
runs on