Merkliste 
 1 Ergebnisse 
 
1

Computing the linear hull: Deciding Deterministic? and Unam..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Bell, Jason P. ; Smertnig, Daniel - p. 1-13 , 2023