The following pages link to (Q5601829):
Displaying 29 items.
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Regular expressions and the equivalence of programs (Q2536436) (← links)
- On formalised computer programs (Q2543556) (← links)
- Mathematical theory of partial correctness (Q2545842) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Interaction Nets with McCarthy's amb (Q2842603) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- A glimpse into the paradise of combinatory algebra (Q3343428) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- Recursive data structures (Q4055171) (← links)
- (Q4139645) (← links)
- (Q4146238) (← links)
- (Q4157924) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Algebraic properties of <tt>if-then-else</tt> and commutative three-valued tests (Q4968241) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
