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.

Undecidability of a weak version of MSO+U

Mikolaj Bojanczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle, A. V. Sreejith. Undecidability of a weak version of MSO+U. Logical Methods in Computer Science, 16(1), 2020. [doi]

Authors

Mikolaj Bojanczyk

This author has not been identified. Look up 'Mikolaj Bojanczyk' in Google

Laure Daviaud

This author has not been identified. Look up 'Laure Daviaud' in Google

Bruno Guillon

This author has not been identified. Look up 'Bruno Guillon' in Google

Vincent Penelle

This author has not been identified. Look up 'Vincent Penelle' in Google

A. V. Sreejith

This author has not been identified. Look up 'A. V. Sreejith' in Google
runs on