Research output per year
Research output per year
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
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
Research output
- 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