Pages that link to "Item:Q5844609"
From MaRDI portal
The following pages link to The decision problem for some classes of sentences without quantifiers (Q5844609):
Displayed 6 items.
- Complexity of word problems for HNN-extensions (Q5925702) (← links)
- Ascending HNN extensions of residually finite groups can be non-Hopfian and can have very few finite quotients (Q5956877) (← links)
- The algebraic structure of the densification and the sparsification tasks for CSPs (Q6080503) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- Union-closed sets and Horn Boolean functions (Q6144385) (← links)
- Matroid Horn functions (Q6187338) (← links)