The following pages link to (Q4680194):
Displaying 9 items.
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- `The standard logic for \(Z\)': A clarification (Q1974482) (← links)
- Communities and ancestors associated with Egon Börger and ASM (Q2117583) (← links)
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng (Q2842626) (← links)
- Batch ZK Proof and Verification of OR Logic (Q3624273) (← links)
- (Q3629896) (← links)
- (Q4472184) (← links)
- Escape from Zurg: an exercise in logic programming (Q4669642) (← links)
- Relating Z and first-order logic (Q5926770) (← links)