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.

Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings

Thiago Alves Rocha, Ana Teresa C. Martins. Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings. In 8th Brazilian Conference on Intelligent Systems, BRACIS 2019, Salvador, Brazil, October 15-18, 2019. pages 12-17, IEEE, 2019. [doi]

Authors

Thiago Alves Rocha

This author has not been identified. Look up 'Thiago Alves Rocha' in Google

Ana Teresa C. Martins

This author has not been identified. Look up 'Ana Teresa C. Martins' in Google
runs on