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.

First-order satisfiability in Gödel logics: An NP-complete fragment

Matthias Baaz, Agata Ciabattoni, Norbert Preining. First-order satisfiability in Gödel logics: An NP-complete fragment. Theoretical Computer Science, 412(47):6612-6623, 2011. [doi]

Authors

Matthias Baaz

This author has not been identified. Look up 'Matthias Baaz' in Google

Agata Ciabattoni

This author has not been identified. Look up 'Agata Ciabattoni' in Google

Norbert Preining

This author has not been identified. Look up 'Norbert Preining' in Google
runs on