Skip to main navigation Skip to search Skip to main content
No photo of Daniel Castle

Daniel Castle

Mr

Fingerprint

Dive into the research topics where Daniel Castle is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 1 Chapter in a published conference proceeding

  • The Relational Machine Calculus

    Barrett, C., Castle, D. & Heijltjes, W. B., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. U. S. A.: IEEE, 15 p. 9. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    2   Link opens in a new tab Citations (SciVal)