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.

Twin-width I: Tractable FO Model Checking

Édouard Bonnet, Eun Jung Kim 0002, Stéphan Thomassé, Rémi Watrigant. Twin-width I: Tractable FO Model Checking. Journal of the ACM, 69(1), 2022. [doi]

Authors

Édouard Bonnet

This author has not been identified. Look up 'Édouard Bonnet' in Google

Eun Jung Kim 0002

This author has not been identified. Look up 'Eun Jung Kim 0002' in Google

Stéphan Thomassé

This author has not been identified. Look up 'Stéphan Thomassé' in Google

Rémi Watrigant

This author has not been identified. Look up 'Rémi Watrigant' in Google
runs on