@scadsfct

On Logics and Homomorphism Closure

, , , und . 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, (Juni 2021)

Links und Ressourcen

Tags