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.

Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics

Valentin Goranko, Steen Vester. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 234-253, College Publications, 2014. [doi]

Authors

Valentin Goranko

This author has not been identified. Look up 'Valentin Goranko' in Google

Steen Vester

This author has not been identified. Look up 'Steen Vester' in Google
runs on