The following pages link to (Q4846258):
Displaying 37 items.
- Formal justification of underspecification for S5 (Q287254) (← links)
- Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Structured derivations: a unified proof style for teaching mathematics (Q607406) (← links)
- On Euclid's algorithm and elementary number theory (Q627201) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Equational propositional logic (Q674268) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- A document driven methodology for developing a high quality parallel mesh generation toolbox (Q730984) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- The associativity of equivalence and the Towers of Hanoi problem (Q1607084) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- From Boolean algebra to unified algebra (Q1889959) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- An informal introduction to a high level language with applications to interval mathematics (Q1899457) (← links)
- Conditional composition (Q1906041) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213) (← links)
- Defense in Depth Formulation and Usage in Dynamic Access Control (Q3304820) (← links)
- Incremental System Modelling in Event-B (Q3638993) (← links)
- (Q4000474) (← links)
- Equational Reasoning in Non-Classical Logics (Q4236057) (← links)
- (Q4415070) (← links)
- (Q5076787) (← links)
- Equational logic as a tool (Q5096377) (← links)
- On deadlocks of exclusive AND-requests for resources (Q5137008) (← links)
- A Precise and Reliable Multivariable Chain Rule (Q5162645) (← links)
- Relations as Images (Q5283202) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)
- On calculational proofs (Q5957914) (← links)
