Pages that link to "Item:Q1694475"
From MaRDI portal
The following pages link to Cyclic proofs with ordering constraints (Q1694475):
Displaying 6 items.
- Cyclic ordering is NP-complete (Q1248373) (← links)
- Realizability in cyclic proof: extracting ordering information for infinite descent (Q1694474) (← links)
- (Q3384901) (← links)
- (Q5208872) (← links)
- A Complete Cyclic Proof System for Inductive Entailments in First Order Logic (Q5222971) (← links)
- Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs (Q6059221) (← links)