Matthew Doty

According to our database¹, Matthew Doty authored at least 6 papers between 2022 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

A Sound and Complete Calculus for Probability Inequalities.

[BibT_eX]

[DOI]

Matthew Doty

Arch. Formal Proofs, 2023

Suppes' Theorem For Probability Logic.

[BibT_eX]

[DOI]

Matthew Doty

Arch. Formal Proofs, 2023

2022

From Weakly-terminating Binary Agreement and Reliable Broadcast to Atomic Broadcast.

[BibT_eX]

[DOI]

Andreas Fackler

Samuel Schlesinger

Matthew Doty

CoRR, 2022

Class-based Classical Propositional Logic.

[BibT_eX]

[DOI]

Matthew Doty

Arch. Formal Proofs, 2022

Birkhoff's Representation Theorem For Finite Distributive Lattices.

[BibT_eX]

[DOI]

Matthew Doty

Arch. Formal Proofs, 2022

Risk-Free Lending.

[BibT_eX]

[DOI]

Matthew Doty

Arch. Formal Proofs, 2022

Matthew Doty

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...