Pages that link to "Item:Q5920721"
From MaRDI portal
The following pages link to Mathematical logic. Foundations for information science (Q5920721):
Displaying 6 items.
- \textbf{R}-calculus without the cut rule (Q351018) (← links)
- An algorithm to compute maximal contractions for Horn clauses (Q543196) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- A formal semantics for debugging synchronous message passing-based concurrent programs (Q2348946) (← links)
- A general framework for computing maximal contractions (Q2418637) (← links)
- Decidable subsets of open logic and an algorithm for R-calculus (Q2515454) (← links)
