Ata uhi

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Ngā kaituhi matua: Baier, Christel, Chau, Calvin, Drobitko, Volodymyr, Jantsch, Simon, Klüppelholz, Sascha
Hōputu: Preprint
I whakaputaina: 2025
Ngā marau:
Logic in Computer Science
Urunga tuihono:https://arxiv.org/abs/2508.17859
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ipurangi

https://arxiv.org/abs/2508.17859

Ngā tūemi rite