المؤلفون: Pauly, Arno, Pradic, Cécilia, Solda, Giovanni
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B30, 03D78, 03D30
URL الوصول: http://arxiv.org/abs/2301.02833
مصطلحات الفهرس: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B30, 03D78, 03D30, text
URL: http://arxiv.org/abs/2301.02833