Pages that link to "Item:Q5151271"
From MaRDI portal
The following pages link to DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS (Q5151271):
Displaying 6 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Decidability, partial decidability and sharpness relation for L-subsets (Q1102954) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- On Partial Covers, Reducts and Decision Rules (Q3600307) (← links)
- (Q4986517) (← links)
- A remark concerning decidability of complete theories (Q5800816) (← links)