Pages that link to "Item:Q3676116"
From MaRDI portal
The following pages link to A Couple of Novelties in the Propositional Calculus (Q3676116):
Displaying 7 items.
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- The least conjunctive refinement and promotion in the refinement calculus (Q1125692) (← links)
- (Q3028982) (← links)
- Evaluation Trees for Proposition Algebra (Q3449625) (← links)
- Unifying Theories of Programming with Monads (Q3455643) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)