Počet záznamů: 1
Krw composition theorems via lifting
- 1.DE REZENDE, Susanna F., MEIR, O., NORSTRÖM, J., PITASSI, T., ROBERE, R. Krw composition theorems via lifting. In: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science. Los Alamitos: IEEE, 2020, s. 43-49. ISBN 978-1-7281-9622-0. Dostupné z: doi: 10.1109/FOCS46700.2020.00013.
Počet záznamů: 1