Pages that link to "Item:Q351018"
From MaRDI portal
The following pages link to \textbf{R}-calculus without the cut rule (Q351018):
Displaying 4 items.
- A general framework for computing maximal contractions (Q2418637) (← links)
- A decomposition based algorithm for maximal contractions (Q2418656) (← links)
- Decidable subsets of open logic and an algorithm for R-calculus (Q2515454) (← links)
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets (Q6108818) (← links)