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.

The Complexity of LTL on Finite Traces: Hard and Easy Fragments

Valeria Fionda, Gianluigi Greco. The Complexity of LTL on Finite Traces: Hard and Easy Fragments. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 971-977, AAAI Press, 2016. [doi]

Authors

Valeria Fionda

This author has not been identified. Look up 'Valeria Fionda' in Google

Gianluigi Greco

This author has not been identified. Look up 'Gianluigi Greco' in Google
runs on