Nathan Haydon

Orcid: 0000-0002-1604-9832

According to our database1, Nathan Haydon authored at least 4 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Diagrammatic Algebra of First Order Logic.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2021
Residuation in Existential Graphs.
Proceedings of the Diagrammatic Representation and Inference, 2021

2020
The Blot.
Proceedings of the Diagrammatic Representation and Inference, 2020

Compositional Diagrammatic First-Order Logic.
Proceedings of the Diagrammatic Representation and Inference, 2020


  Loading...