Pages that link to "Item:Q351018"

The following pages link to \textbf{R}-calculus without the cut rule (Q351018):

Displaying 3 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)