Merkliste 
 1 Ergebnisse 
 
1

Effect Algebras, Girard Quantales and Complementation in Se..:

, In: Lecture Notes in Computer Science; Relational and Algebraic Methods in Computer Science,