Pages that link to "Item:Q266242"
From MaRDI portal
The following pages link to On decidability of the theory with the transitive closure operator (Q266242):
Displaying 5 items.
- On the existence and construction of \(T\)-transitive closures. (Q1425263) (← links)
- (Q4038531) (← links)
- The dimension of the negation of transitive closure (Q4842619) (← links)
- Computer Science Logic (Q5311254) (← links)
- On undecidability of unary nonnested PFP operators for one successor function theory (Q6638438) (← links)