-
1تقرير
المؤلفون: Huo, Shuquan
مصطلحات موضوعية: Mathematics - Logic, 03B50, 03B45
URL الوصول: http://arxiv.org/abs/2407.19221
-
2تقرير
-
3تقرير
المؤلفون: Kroupa, Tomáš, Teheux, Bruno
المصدر: Journal of Logic and Computation 27(1):129-154, 2017
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B50, 03B45 (Primary) 91A40 (Secondary)
URL الوصول: http://arxiv.org/abs/1411.6452
-
4
المؤلفون: Kroupa, Tom����, Teheux, Bruno
مصطلحات موضوعية: FOS: Computer and information sciences, 03B50, 03B45 (Primary) 91A40 (Secondary), FOS: Mathematics, Logic (math.LO), Logic in Computer Science (cs.LO)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e84baa2ffa39dddf2f99f165a00b451c
-
5