Pages that link to "Item:Q1816735"
From MaRDI portal
The following pages link to Logical definability of counting functions (Q1816735):
Displaying 6 items.
- Definability for model counting (Q2303508) (← links)
- Functions definable by numerical set-expressions (Q2844003) (← links)
- (Q3781093) (← links)
- (Q5216300) (← links)
- A logical characterization of the counting hierarchy (Q5277825) (← links)
- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic (Q5928867) (← links)