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.

Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions

Stéphane Le Roux 0001, Arno Pauly, Mickael Randour. Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Stéphane Le Roux 0001

This author has not been identified. Look up 'Stéphane Le Roux 0001' in Google

Arno Pauly

This author has not been identified. Look up 'Arno Pauly' in Google

Mickael Randour

This author has not been identified. Look up 'Mickael Randour' in Google
runs on