The following pages link to First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893):
Displaying 2 items.