Pages that link to "Item:Q293327"
From MaRDI portal
The following pages link to Kleene's three-valued logic and process algebra (Q293327):
Displaying 6 items.
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems (Q899110) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Combining programs and state machines (Q1858434) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
