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.

Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces

Volker Diekert, Paul Gastin. Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces. In Martin Farach-Colton, editor, LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings. Volume 2976 of Lecture Notes in Computer Science, pages 232-241, Springer, 2004. [doi]

Authors

Volker Diekert

This author has not been identified. Look up 'Volker Diekert' in Google

Paul Gastin

This author has not been identified. Look up 'Paul Gastin' in Google
runs on