Merkliste 
 1 Ergebnisse 
 
1

Two complete axiomatisations of pure-state qubit quantum co..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,