William J. DeMeo
Orcid: 0000-0003-1832-5690
According to our database1,
William J. DeMeo
authored at least 12 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
1
3
2
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024
2022
Log. Methods Comput. Sci., 2022
2021
The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory.
CoRR, 2021
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Int. J. Algebra Comput., 2020
2019
Int. J. Algebra Comput., 2019
2002
Proceedings of the 2002 International Computer Music Conference, 2002