Personensuche
X
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
Minimal taylor algebras as a common framework for the three..:
, In:
?
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
3