The following pages link to Abstractions of uniform proofs (Q2956724):
Displaying 6 items.
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Universal abstract consistency class and universal refutation (Q1288438) (← links)
- Proof spaces for unbounded parallelism (Q2819827) (← links)
- A New and Formalized Proof of Abstract Completion (Q2879259) (← links)
- Logic Programming (Q5191475) (← links)
- Computer Science Logic (Q5311259) (← links)