Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Jeremy E. Dawson - MaRDI portal

Jeremy E. Dawson

From MaRDI portal
(Redirected from Person:1243725)
Person:1051649

Available identifiers

zbMath Open dawson.jeremy-eMaRDI QIDQ1051649

List of research outcomes





PublicationDate of PublicationType
Machine-checked meta-theory of dual-tableaux for intuitionistic logic2024-09-06Paper
A formally verified cut-elimination procedure for linear nested sequents for tense logic2022-05-25Paper
Machine-Checked Proof-Theory for Propositional Modal Logics2020-08-07Paper
Well-founded unions2018-10-18Paper
Issues in machine-checking the decidability of implicational ticket entailment2018-02-02Paper
https://portal.mardi4nfdi.de/entity/Q29585232017-02-02Paper
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi2016-09-05Paper
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic2014-09-15Paper
https://portal.mardi4nfdi.de/entity/Q28455162013-08-30Paper
https://portal.mardi4nfdi.de/entity/Q28439102013-08-27Paper
Generic Methods for Formalising Sequent Calculi Applied to Provability Logic2010-10-12Paper
A Proof Theoretic Analysis of Intruder Theories2010-09-21Paper
Formalising Observer Theory for Environment-Sensitive Bisimulation2009-10-20Paper
TERMINATION OF ABSTRACT REDUCTION SYSTEMS2009-04-14Paper
Formalising Generalised Substitutions2008-09-02Paper
Computer Science Logic2005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q44151382003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q44843372003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q27037452001-05-08Paper
https://portal.mardi4nfdi.de/entity/Q42469732000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42472082000-01-12Paper
An asymptotic result on the existence of generalised Hadamard matrices1994-07-13Paper
https://portal.mardi4nfdi.de/entity/Q40337001993-05-16Paper
SOME NECESSARY CONDITIONS FOR SUMS OF MATROIDS1988-01-01Paper
A construction for generalized Hadamard matrices GH(4q,EA(q))1985-01-01Paper
Decomposition of binary matroids1985-01-01Paper
Independence spaces and uniform modules1985-01-01Paper
Independence structures on the submodules of a module1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36769941985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37014541985-01-01Paper
The directed packing numbers DD(t,v,v), t\(\geq 4\)1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32182631984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33312291984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33330521984-01-01Paper
Balanced sets in an independence structure induced by a submodular function1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33122521983-01-01Paper
A Formula Approximating the Root of a Function1982-01-01Paper
A MATROID THEORETIC APPROACH TO THE MATCHING STRUCTURE OF A GRAPH1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47428041982-01-01Paper
A simple approach to some basic results in matroid theory1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36694291981-01-01Paper
The algebraic equivalence of two measures of genetic distance1981-01-01Paper
A note on some algorithms for matroids1980-01-01Paper
OPTIMAL MATROID BASES: AN ALGORITHM BASED ON COCIRCUITS1980-01-01Paper
Designs and circuit bases1978-01-01Paper
A remark on an exchange theorem for bases1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41825271978-01-01Paper
Balanced sets and circuits in a transversal space1977-01-01Paper

Research outcomes over time

This page was built for person: Jeremy E. Dawson