Personensuche
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
1
Completeness for arbitrary finite dimensions of ZXW-calculu..:
, In:
?
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ,
2