Poor, Boldizsar
7  Ergebnisse:
Personensuche X
?
1

Completeness for arbitrary finite dimensions of ZXW-calculu..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
 
?
2

Transformations towards clean functional code:

, In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang,
 
1-7