Nathan Haydon

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Quantifier Free

Relational Algebra

Markov Networks

Probabilistic Graphical Models

Top Venues

Publications

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. CoRR (2024)
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. LICS (2024)
Nathan Haydon, Ahti-Veikko Pietarinen
Residuation in Existential Graphs. Diagrams (2021)
Ahti-Veikko Pietarinen, Francesco Bellucci, Angelina Bobrova, Nathan Haydon, Mohammad Shafiei
The Blot. Diagrams (2020)
Nathan Haydon, Pawel Sobocinski
Compositional Diagrammatic First-Order Logic. Diagrams (2020)