Pages that link to "Item:Q5937831"
From MaRDI portal
The following pages link to Bochvar-McCarthy logic and process algebra (Q5937831):
Displaying 6 items.
- Execution architectures for program algebra (Q881834) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
