Pages that link to "Item:Q3284606"
From MaRDI portal
The following pages link to ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE (Q3284606):
Displaying 6 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Testable and untestable classes of first-order formulae (Q440006) (← links)
- On the entropy of \(\mathbb{Z}^d\) subshifts of finite type (Q676028) (← links)
- (Q5092374) (← links)
- An aperiodic set of 11 Wang tiles (Q5162865) (← links)
- Turning decision procedures into disprovers (Q5505144) (← links)
