Pages that link to "Item:Q3644764"
From MaRDI portal
The following pages link to Decidable Extensions of Church’s Problem (Q3644764):
Displaying 6 items.
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- Decidable structures between Church-style and Curry-style (Q2958384) (← links)
- The Church Problem for Countable Ordinals (Q3636804) (← links)
- Decidable Extensions of Church’s Problem (Q3644764) (← links)
- (Q6168448) (← links)
- Realizability problem for constraint LTL (Q6178458) (← links)