Pages that link to "Item:Q1329742"
From MaRDI portal
The following pages link to The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742):
Displayed 2 items.
The following pages link to The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742):
Displayed 2 items.