The following pages link to Jeremy E. Dawson (Q1051649):
Displayed 49 items.
- Item:Q1051649 (redirect page) (← links)
- The directed packing numbers DD(t,v,v), t\(\geq 4\) (Q759759) (← links)
- Balanced sets in an independence structure induced by a submodular function (Q1051650) (← links)
- A construction for generalized Hadamard matrices GH(4q,EA(q)) (Q1063366) (← links)
- Decomposition of binary matroids (Q1063610) (← links)
- Independence spaces and uniform modules (Q1088993) (← links)
- Independence structures on the submodules of a module (Q1088994) (← links)
- A note on some algorithms for matroids (Q1145155) (← links)
- A simple approach to some basic results in matroid theory (Q1161524) (← links)
- Item:Q1051649 (redirect page) (← links)
- Balanced sets and circuits in a transversal space (Q1243726) (← links)
- Designs and circuit bases (Q1244234) (← links)
- A remark on an exchange theorem for bases (Q1248519) (← links)
- An asymptotic result on the existence of generalised Hadamard matrices (Q1317462) (← links)
- Issues in machine-checking the decidability of implicational ticket entailment (Q1694477) (← links)
- Well-founded unions (Q1799073) (← links)
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
- (Q2703745) (← links)
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
- (Q2843910) (← links)
- (Q2845516) (← links)
- (Q2958523) (← links)
- Formalising Observer Theory for Environment-Sensitive Bisimulation (Q3183528) (← links)
- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic (Q3190166) (← links)
- (Q3218263) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- (Q3312252) (← links)
- (Q3331229) (← links)
- (Q3333052) (← links)
- Formalising Generalised Substitutions (Q3523165) (← links)
- TERMINATION OF ABSTRACT REDUCTION SYSTEMS (Q3620615) (← links)
- (Q3669429) (← links)
- (Q3676994) (← links)
- (Q3701454) (← links)
- SOME NECESSARY CONDITIONS FOR SUMS OF MATROIDS (Q3795686) (← links)
- The algebraic equivalence of two measures of genetic distance (Q3901355) (← links)
- A Formula Approximating the Root of a Function (Q3949893) (← links)
- A MATROID THEORETIC APPROACH TO THE MATCHING STRUCTURE OF A GRAPH (Q3963025) (← links)
- (Q4033700) (← links)
- OPTIMAL MATROID BASES: AN ALGORITHM BASED ON COCIRCUITS (Q4182526) (← links)
- (Q4182527) (← links)
- (Q4246973) (← links)
- (Q4247208) (← links)
- (Q4415138) (← links)
- (Q4484337) (← links)
- (Q4742804) (← links)
- Generic Methods for Formalising Sequent Calculi Applied to Provability Logic (Q4933310) (← links)
- Computer Science Logic (Q5311249) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5890483) (← links)