External Links

Cite Key

Statistics

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

PDF

Tags

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.

Quantified Positive Temporal Constraints

Witold Charatonik, Michal Wrona. Quantified Positive Temporal Constraints. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 94-108, Springer, 2008. [doi]

Authors

Witold Charatonik

This author has not been identified. Look up 'Witold Charatonik' in Google

Michal Wrona

This author has not been identified. Look up 'Michal Wrona' in Google
runs on