-
1
المؤلفون: Ulrich Schöpp, Jason Z. S. Hu, Brigitte Pientka
مصطلحات موضوعية: FOS: Computer and information sciences, Computational Mathematics, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, General Computer Science, Logic, F.4.1, Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Theoretical Computer Science
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6174a5aa65d3b1f67b668518b0891f51
http://arxiv.org/abs/2206.02831